diff --git a/arch/x86/CMakeLists.txt b/arch/x86/CMakeLists.txt index 6cb83e4ef3c..049f6e52be1 100644 --- a/arch/x86/CMakeLists.txt +++ b/arch/x86/CMakeLists.txt @@ -195,7 +195,7 @@ if(CONFIG_X86_MMU) -I binary -B ${OUTPUT_ARCH} -O ${OUTPUT_FORMAT} - --rename-section .data=.user_mmu_data + --rename-section .data=user_mmu_tables user_mmu_tables.bin user_mmu_tables.o WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR} diff --git a/include/arch/x86/linker.ld b/include/arch/x86/linker.ld index fefee6b0104..d5ca64886aa 100644 --- a/include/arch/x86/linker.ld +++ b/include/arch/x86/linker.ld @@ -381,7 +381,7 @@ SECTIONS KEEP(*(mmu_tables)); #ifdef CONFIG_X86_KPTI z_x86_user_pdpt = .; - KEEP(*(.user_mmu_data)); + KEEP(*(user_mmu_tables)); #endif /* CONFIG_X86_KPTI */ __mmu_tables_end = .; } GROUP_DATA_LINK_IN(RAMABLE_REGION, ROMABLE_REGION)