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