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