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