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