diff --git a/src/arch/amd64/kernel.c b/src/arch/amd64/kernel.c index e20fa56..da6a389 100644 --- a/src/arch/amd64/kernel.c +++ b/src/arch/amd64/kernel.c @@ -21,6 +21,7 @@ void kernel_main(void) { amd64_idt_init(); #if defined(KERNEL_TEST_MODE) + kdebug("mm_kernel after basic init\n"); mm_describe(mm_kernel); #endif diff --git a/src/arch/amd64/mm/map.c b/src/arch/amd64/mm/map.c index 9f872a3..7fd40f1 100644 --- a/src/arch/amd64/mm/map.c +++ b/src/arch/amd64/mm/map.c @@ -51,6 +51,9 @@ static int amd64_mm_map_single(mm_space_t pml4, uintptr_t virt_addr, uintptr_t p panic("map: entry already present\n"); } +#if defined(KERNEL_TEST_MODE) + kdebug("map %p -> %p\n", virt_addr, phys); +#endif pt[pti] = (phys & ~0xFFF) | flags | 1; asm volatile("invlpg (%0)"::"a"(virt_addr):"memory");