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