Port 22

Intel patches up SGX best it can after another load of security holes found