ref: 7144ff2694ab898a8c19188a356ce6f03bb4de2d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot