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