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