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