ref: 357e58699e6ababa2f971461a4918f552bca1e9e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot