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