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