- #!/bin/bash -x
- rm -rf linux-sgx-driver
- git clone https://github.com/intel/linux-sgx-driver.git
- cd linux-sgx-driver
- git checkout f7dc97c0
- make
- cp -av sgx_user.h ../graphene-docker/
- cd ..
- rm -rf graphene-sgx-driver
- git clone https://github.com/oscarlab/graphene-sgx-driver.git
- cd graphene-sgx-driver
- git checkout 30d4b940
- ISGX_DRIVER_PATH=../linux-sgx-driver ISGX_DRIVER_VERSION=2.5 make
- cp -av isgx_version.h ../graphene-docker/
|
