100644 blob f7e75b3aab6154fb37e80f75acbe04bf7a310948	arch.h
100644 blob 356e7920c6677976cd8e6f48edaba6d5a5ed3495	arch_inlines.h
100644 blob 52d5eea102d2a342b69023f7055ec5958b306d2d	cpuid.h
100644 blob d51c8ee1bd8f6487b37f4a5bdc5a65631cfd688f	efi.h
040000 tree e56ca1376d31aaa04082080246ea83d559e62b4f	ia32
040000 tree 28811a09514b2079d042a093bd1142a54d1979c9	intel64
100644 blob cc1ae0c780097e5e01c5b138d55d3d988925a821	intel_vtd.h
100644 blob a5abd67d8c514cd7ca7fc62281281eb0847991d8	legacy_bios.h
100644 blob 21c65c433800b750a03329f2adb0d59cfa0abdd3	memmap.h
100644 blob c9ede2b9d232930632e3db551066db223a744588	memory.ld
100644 blob d02d517f33918569c07fc4feac81ba703874e50c	mmustructs.h
100644 blob 0ccd3806bbfb587381ba82e3dc8d076e388e7aab	msr.h
100644 blob 9a951a0150f085aab8d8ca96a045f7830a503d00	multiboot.h
100644 blob 9477e169ea3218cfcd0c554c957e7792daee54be	pagetables.ld
100644 blob a92b04846d4c06785b6a851c2f2474383fd1e7b4	thread_stack.h
100644 blob 013400e6fe65e9cd8cef6d718492d8b2a210f3c3	x86_acpi.h
100644 blob 2395cac1951ea944f62336c9645a248c9d61f33a	x86_acpi_osal.h