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