ref: 4de506404becf0e67f64e24685a52bcb9753146d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot