Add single-stepping support for i9-9900K CPU.

jovanbulck · Apr 23, 2019 · 0ce3066 · 0ce3066
1 parent f248ec7
commit 0ce3066
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -112,12 +112,13 @@ C-States and SpeedStep technology in the BIOS configuration. The table below
 lists currently supported Intel CPUs, together with their single-stepping APIC
 timer interval (`libsgxstep/config.h`).
 
-| Model name            | CPU                                               | Base frequency | APIC timer interval |
-|-----------------------|---------------------------------------------------|----------------|---------------------|
-| Dell Latitude 7490    | [i7-8650U](https://ark.intel.com/products/124968) | 1.9 GHz        | 42                  |
-| Dell Inspiron 13 7359 | [i7-6500U](https://ark.intel.com/products/88194)  | 2.5 GHz        | 25                  |
-| Dell Optiplex 7040    | [i7-6700](https://ark.intel.com/products/88196)   | 3.4 GHz        | 19                  |
-| Acer Aspire V15       | [i5-6200U](https://ark.intel.com/products/88193)  | 2.3 GHz        | 28                  |
+| Model name    | CPU                                               | Base frequency | APIC timer interval |
+|---------------|---------------------------------------------------|----------------|---------------------|
+| Skylake       | [i7-6700](https://ark.intel.com/products/88196)   | 3.4 GHz        | 19                  |
+| Skylake       | [i7-6500U](https://ark.intel.com/products/88194)  | 2.5 GHz        | 25                  |
+| Skylake       | [i5-6200U](https://ark.intel.com/products/88193)  | 2.3 GHz        | 28                  |
+| Kaby Lake R   | [i7-8650U](https://ark.intel.com/products/124968) | 1.9 GHz        | 34                  |
+| Coffee Lake R	| [i9-9900K](https://ark.intel.com/products/186605) | 3.6 GHz        | 21                  |
 
 ### 1. Patch and install SGX SDK
 

diff --git a/libsgxstep/Makefile.config b/libsgxstep/Makefile.config
@@ -1,6 +1,7 @@
 DELL_INSPIRON_7359   = 1
 DELL_OPTIPLEX_7040   = 2
 DELL_LATITUDE_7490   = 3
+I9_9900K             = 4
 
 SGX_STEP_PLATFORM=DELL_INSPIRON_7359
 ifeq ($(LAPTOP),1)
@@ -9,6 +10,9 @@ endif
 ifeq ($(DESKTOP),1)
     SGX_STEP_PLATFORM=DELL_OPTIPLEX_7040
 endif
+ifeq ($(I9),1)
+    SGX_STEP_PLATFORM=I9_9900K
+endif
 export SGX_STEP_PLATFORM
 
 ifndef NO_SGX

diff --git a/libsgxstep/config.h b/libsgxstep/config.h
@@ -46,6 +46,7 @@
 #define DELL_INSPIRON_7359          1
 #define DELL_OPTIPLEX_7040          2
 #define DELL_LATITUDE_7490          3
+#define I9_9900K	            4
 #if (SGX_STEP_PLATFORM == DELL_INSPIRON_7359)
     #define SGX_STEP_TIMER_INTERVAL 25
 #elif (SGX_STEP_PLATFORM == DELL_LATITUDE_7490)
@@ -54,6 +55,8 @@
     #define SGX_STEP_TIMER_INTERVAL 19
 #elif (SGX_STEP_PLATFORM == ACER_ASPIRE_V15)
     #define SGX_STEP_TIMER_INTERVAL 28
+#elif (SGX_STEP_PLATFORM == I9_9900K)
+    #define SGX_STEP_TIMER_INTERVAL 21
 #else
     #warning Unsupported SGX_STEP_PLATFORM; configure timer interval manually...
 #endif