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