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