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