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