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