ref: 63beb8c354aeb446fe5cd1c75bbdaeef6d11612e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot