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