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