ref: 5347bb9c96c79296e6b520014d2ed2a5ee0a718d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot