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