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