diff --git a/driver/linux/Makefile b/driver/linux/Makefile
index f1686d31..77196bbe 100644
--- a/driver/linux/Makefile
+++ b/driver/linux/Makefile
@@ -10,7 +10,7 @@ else
 
 KDIR := /lib/modules/$(shell uname -r)/build
 
-#INKERNEL_SGX :=$(shell cat $(KDIR)/.config | grep "CONFIG_INTEL_SGX=y")
+INKERNEL_SGX :=$(shell cat $(KDIR)/.config | grep "CONFIG_X86_SGX=y\|CONFIG_INTEL_SGX=y")
 ifneq ($(INKERNEL_SGX),)
 default:
 	$(error Can't install DCAP SGX driver with inkernel SGX support)
diff --git a/driver/linux/driver.h b/driver/linux/driver.h
index 808a3dd6..4024f489 100644
--- a/driver/linux/driver.h
+++ b/driver/linux/driver.h
@@ -9,7 +9,7 @@
 #include <linux/rwsem.h>
 #include <linux/sched.h>
 #include <linux/workqueue.h>
-#include "uapi/asm/sgx_oot.h"
+#include "sgx_user.h"
 #include "sgx.h"
 
 #define SGX_EINIT_SPIN_COUNT	20
diff --git a/driver/linux/include/uapi/asm/sgx_oot.h b/driver/linux/include/sgx_user.h
similarity index 100%
rename from driver/linux/include/uapi/asm/sgx_oot.h
rename to driver/linux/include/sgx_user.h