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