ref: 73f720277a23b5897b94339daf4b2d950ceb38a0 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot