From f25da30ce957af45809ec7aaa582ac970bd31d4c Mon Sep 17 00:00:00 2001 From: Angie Chinchilla Date: Mon, 22 Jan 2018 09:57:42 -0500 Subject: [PATCH] Update README.md Port README.md update from master --- README.md | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/README.md b/README.md index 2d094a2..78812ed 100644 --- a/README.md +++ b/README.md @@ -47,6 +47,30 @@ Build and Install the Intel(R) SGX Driver - Ensure that you have the following required hardware: * 6th Generation Intel(R) Core(TM) Processor or newer - Configure the system with the **SGX hardware enabled** option. +- To build the driver, the version of installed kernel headers must match the active kernel version on the system. + * On Ubuntu + * To check if matching kernel headers are installed: + ``` + $ dpkg-query -s linux-headers-$(uname -r) + ``` + * To install matching headers: + ``` + $ sudo apt-get install linux-headers-$(uname -r) + ``` + * On CentOS and RHEL + * To check if matching kernel headers are installed: + ``` + $ ls /usr/src/kernels/$(uname -r) + ``` + * To install matching headers: + ``` + $ sudo yum install kernel-devel + ``` + * After the above command, if the matching headers are still missing in /usr/src/kernels, try update kernel and reboot using commands below. Then choose updated kernel on boot menu. + ``` + $ sudo yum install kernel + $ sudo reboot + ``` **Note:** Refer to the *"IntelĀ® SGX Resource Enumeration Leaves"* section in the [Intel SGX Programming reference guide](https://software.intel.com/sites/default/files/managed/48/88/329298-002.pdf) to make sure your cpu has the SGX feature.