040000 tree 625c805380a5044dbe91c1cfd0abf18ab6b74fb2	boot_page_table
040000 tree 3b38aac5875c9e8ce984f9af8a57ee9f9acefca3	info
040000 tree afb1266dc92bb8472d3f123fb5761413a5cda902	static_idt
040000 tree 9d739abe90a8b0bf77a9343e45d0e00c4affdb8f	x86_mmu_api