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