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