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