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