ref: 8e56bd06b559b45d6a8544ae2b1f752a5b3da516 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot