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