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