ref: 2a266430e3fbae4eac97182e04dbd91f275a1b3c dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot