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