michaelh/zephyr
1
0
Fork 0
Code Releases Activity

x86: do not advertise demand paging support for x86_64

Browse source 
x86_64 does not currently support demand paging so don't
advertise it.

Signed-off-by: Daniel Leung <daniel.leung@intel.com>
This commit is contained in:
Daniel Leung 2024-03-12 16:23:17 -07:00 • committed by Anas Nashif
commit 3d39864900
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
arch/Kconfig
View file

@ -85,7 +85,7 @@ config X86
select ARCH_HAS_GDBSTUB if !X86_64 select ARCH_HAS_GDBSTUB if !X86_64
select ARCH_HAS_TIMING_FUNCTIONS select ARCH_HAS_TIMING_FUNCTIONS
select ARCH_HAS_THREAD_LOCAL_STORAGE 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 IRQ_OFFLOAD_NESTED if IRQ_OFFLOAD
select NEED_LIBC_MEM_PARTITION if USERSPACE && TIMING_FUNCTIONS \ select NEED_LIBC_MEM_PARTITION if USERSPACE && TIMING_FUNCTIONS \
&& !BOARD_HAS_TIMING_FUNCTIONS \ && !BOARD_HAS_TIMING_FUNCTIONS \