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