ref: 21908a438cb561d360214780b0d37500f85d2f2e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot