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