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