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