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