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