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