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