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