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