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