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