ref: 528fa0acfa3532dee4a50fca1ae49d147403edfc dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot