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