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