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