Index: src/trusted/platform_qualify/platform_qual_test.c |
=================================================================== |
--- src/trusted/platform_qualify/platform_qual_test.c (revision 3470) |
+++ src/trusted/platform_qualify/platform_qual_test.c (working copy) |
@@ -17,6 +17,7 @@ |
#include <stdio.h> |
#include "native_client/src/trusted/validator_x86/nacl_cpuid.h" |
#include "native_client/src/trusted/platform_qualify/nacl_cpuwhitelist.h" |
+#include "native_client/src/trusted/platform_qualify/nacl_dep_qualify.h" |
#include "native_client/src/trusted/platform_qualify/nacl_os_qualify.h" |
#include "native_client/src/trusted/platform_qualify/vcpuid.h" |
@@ -44,6 +45,9 @@ |
if (NaClOsRestoresLdt() != 1) return -1; |
printf("OS restores LDT\n"); |
+ if (NaClCheckDEP() != 1) return -1; |
+ printf("DEP is either working or not required\n"); |
+ |
printf("platform_qual_test: PASS\n"); |
return 0; |
} |