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