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