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