summaryrefslogtreecommitdiff
path: root/src/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'src/Kconfig')
-rw-r--r--src/Kconfig8
1 files changed, 0 insertions, 8 deletions
diff --git a/src/Kconfig b/src/Kconfig
index 459280dc1d..02abed2dd4 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -975,14 +975,6 @@ config DEBUG_BOOT_STATE
Control debugging of the boot state machine. When selected displays
the state boundaries in ramstage.
-config DEBUG_PRINT_PAGE_TABLES
- bool "Print the page tables after construction"
- default n
- depends on ARCH_RISCV
- help
- After the page tables have been built, print them on the debug
- console.
-
config DEBUG_ADA_CODE
bool "Compile debug code in Ada sources"
default n