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