From 3d3986490080940f6b8ff62fdec972e22496f32c Mon Sep 17 00:00:00 2001 From: Daniel Leung Date: Tue, 12 Mar 2024 16:23:17 -0700 Subject: [PATCH] x86: do not advertise demand paging support for x86_64 x86_64 does not currently support demand paging so don't advertise it. Signed-off-by: Daniel Leung --- arch/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/Kconfig b/arch/Kconfig index 4a90eb395d3..a746044362a 100644 --- a/arch/Kconfig +++ b/arch/Kconfig @@ -85,7 +85,7 @@ config X86 select ARCH_HAS_GDBSTUB if !X86_64 select ARCH_HAS_TIMING_FUNCTIONS select ARCH_HAS_THREAD_LOCAL_STORAGE - select ARCH_HAS_DEMAND_PAGING + select ARCH_HAS_DEMAND_PAGING if !X86_64 select IRQ_OFFLOAD_NESTED if IRQ_OFFLOAD select NEED_LIBC_MEM_PARTITION if USERSPACE && TIMING_FUNCTIONS \ && !BOARD_HAS_TIMING_FUNCTIONS \