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