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