ref: 32133b097f95347c1d12c1723f0ea9255bc772cb dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot