From 2df31fe7dc5d68d10d85e7811b8540a75cfa4baf Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sun, 25 Jun 2017 14:03:27 +0100
Subject: [PATCH] CONFIG_X86_PTDUMP

---
 kernel_config_fragment | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/kernel_config_fragment b/kernel_config_fragment
index fb1b915..f330ecd 100644
--- a/kernel_config_fragment
+++ b/kernel_config_fragment
@@ -52,3 +52,8 @@ CONFIG_IRQSOFF_TRACER=y
 CONFIG_SCHED_TRACER=y
 CONFIG_STACK_TRACER=y
 CONFIG_TRACER_SNAPSHOT=y
+
+# x86
+# https://stackoverflow.com/questions/20069620/print-kernels-page-table-entries
+# cat /sys/kernel/debug/kernel_page_tables
+CONFIG_X86_PTDUMP=y