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