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