040000 tree 2cb9881fbfa36e6afddadd7eb5f985c66e9d84a5	boot_page_table
040000 tree a982973df6cbd0116e2ce8241d5c7a7bc49f86ba	info
040000 tree eca51cc89c8fe7cdd4c90f5e50cea3b3ef86c66e	static_idt
040000 tree 49d5b14c6906957f4c5d4002d1de85b63f88c56e	x86_mmu_api