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