ref: 18b931dde7d9259968a91a1baee96db92a79d34d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot