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