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