ref: 405de1e6a2bcba579aa48262893ca3da7ccb5e54 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot