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