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