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 \