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