ref: 45f55eb644343da015d8b93d4f7d68bbf17ada9d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot