pc → mmu Relation

File in src/kernelarchx86_64boardpc	Includes file in src/kernelarchx86_64mmu
kmain.c	frame.h
kmain.c	paging.h
drivers / rtl8139.c	paging.h
console / vbe_console.c	paging.h