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