From 699fc57e0a54e32e1ac66c1affe40ca49f3fa203 Mon Sep 17 00:00:00 2001 From: "Justin C. Miller" Date: Mon, 18 Jan 2021 13:36:05 -0800 Subject: [PATCH] [boot] Log address of new table pages Since it's often needed when debugging between the bootloader and kernel, log the address of the table pages the bootloader allocated. --- src/boot/paging.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/boot/paging.cpp b/src/boot/paging.cpp index de61509..b1423fb 100644 --- a/src/boot/paging.cpp +++ b/src/boot/paging.cpp @@ -215,6 +215,8 @@ allocate_tables(kernel::args::header *args, uefi::boot_services *bs) args->table_count = tables_needed - 1; args->page_tables = offset_ptr(addr, page_size); + console::print(L" First page (pml4) at: 0x%lx\r\n", pml4); + add_kernel_pds(pml4, args->page_tables, args->table_count); add_offset_mappings(pml4, args->page_tables, args->table_count);