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