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