ref: 33e90f075fa36a7488ccf5c419d76c3e577a529d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot