When I followed the instruction(https://github.com/dmlc/tvm/tree/master/apps/sgx) to run the SGX demo with docker, I successfully pulled the docker image and entered the container, but when I use the make -j4 command, I got a fatal error:
fatal error: inc/stat.h: No such file or directory
This makes me very confused, what should I do? @tqchen @nhynes
Thank you!