diff options
Diffstat (limited to 'src/Kconfig')
-rw-r--r-- | src/Kconfig | 8 |
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 |