ref: 6253af7a5ce9ed1f223769b1d690b9f6beca6850 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot