100644 blob adb8d06fa6ccfc6893a36e9beb43b782a4ecd739	arch.h
100644 blob 356e7920c6677976cd8e6f48edaba6d5a5ed3495	arch_inlines.h
100644 blob 52d5eea102d2a342b69023f7055ec5958b306d2d	cpuid.h
100644 blob d51c8ee1bd8f6487b37f4a5bdc5a65631cfd688f	efi.h
040000 tree e255712c30ef5ee253315f5e8bfcf64bc00b1a1e	ia32
040000 tree b6a7633e2762b674747fe26c5c3641afebaed1a8	intel64
100644 blob cc1ae0c780097e5e01c5b138d55d3d988925a821	intel_vtd.h
100644 blob a5abd67d8c514cd7ca7fc62281281eb0847991d8	legacy_bios.h
100644 blob 21c65c433800b750a03329f2adb0d59cfa0abdd3	memmap.h
100644 blob 3e2c0b6935275d0c623fedf7a51ea12a37616333	memory.ld
100644 blob 8e079714e0c2830ce885ab57325456c4cee83850	mmustructs.h
100644 blob 0ccd3806bbfb587381ba82e3dc8d076e388e7aab	msr.h
100644 blob 379f03dd3a5e0fdab1a5155997b9e75af47dd9ff	multiboot.h
100644 blob 5ff7ca2ceea6e86c610b9134b1e3d1ecd5bc1822	multiboot_info.h
100644 blob 9477e169ea3218cfcd0c554c957e7792daee54be	pagetables.ld
100644 blob fb5572055daa4361a98ff5ef4309584c5db88c2b	thread_stack.h
100644 blob 013400e6fe65e9cd8cef6d718492d8b2a210f3c3	x86_acpi.h
100644 blob 2395cac1951ea944f62336c9645a248c9d61f33a	x86_acpi_osal.h