NUM_EPC default value is set to 2000 in sgx.h #43

Closed ssavvides closed 7 years ago