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