ref: 1168cce1e38d12939279ba45dfd6853edd29f0d2 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot