ref: 5030157da9e89da53739b13c36942a5355de669f dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot