#!/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/