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