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