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