ref: 76142255a117a21da665282e7c6754b8b389bbc7 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot