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