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