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