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