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