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