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