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