040000 tree f06fba8d1c8a2fead7a3550ab70197e24c7d2f5d	boot_page_table
040000 tree a8a299c681c68c2ede892acc143dd666dd829b26	info
040000 tree a6c5810e0cfb3d92b37ca9df98648142dc1a66b5	static_idt
040000 tree c952bad74ec94047e6bda0011093de57839ead2e	x86_mmu_api