040000 tree 2cb9881fbfa36e6afddadd7eb5f985c66e9d84a5	boot_page_table
040000 tree 549146a83ac89007d34095a92e24df49c90f1d3d	info
040000 tree c981597ca1835c1472cb0bba6a064fe3f440b542	static_idt
040000 tree 49d5b14c6906957f4c5d4002d1de85b63f88c56e	x86_mmu_api