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