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