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