diff --git a/arch/x86/CMakeLists.txt b/arch/x86/CMakeLists.txt index 119d8ee1eaa..6cb83e4ef3c 100644 --- a/arch/x86/CMakeLists.txt +++ b/arch/x86/CMakeLists.txt @@ -174,7 +174,7 @@ if(CONFIG_X86_MMU) -I binary -B ${OUTPUT_ARCH} -O ${OUTPUT_FORMAT} - --rename-section .data=.mmu_data + --rename-section .data=mmu_tables mmu_tables.bin mmu_tables.o WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR} diff --git a/include/arch/x86/linker.ld b/include/arch/x86/linker.ld index 48b09466b6a..fefee6b0104 100644 --- a/include/arch/x86/linker.ld +++ b/include/arch/x86/linker.ld @@ -378,7 +378,7 @@ SECTIONS MMU_PAGE_ALIGN __mmu_tables_start = .; z_x86_kernel_pdpt = .; - KEEP(*(.mmu_data)); + KEEP(*(mmu_tables)); #ifdef CONFIG_X86_KPTI z_x86_user_pdpt = .; KEEP(*(.user_mmu_data));