100644 blob ad237f2e5608780ff30949113ddedb1ca74c458b	acpi.h
100644 blob f7e75b3aab6154fb37e80f75acbe04bf7a310948	arch.h
100644 blob 153946875155c8a0fb6b0996b2f5f79c11a1ba69	arch_inlines.h
100644 blob 52d5eea102d2a342b69023f7055ec5958b306d2d	cpuid.h
100644 blob d51c8ee1bd8f6487b37f4a5bdc5a65631cfd688f	efi.h
040000 tree 68e27680fe7009c6038ebe4b37390edb746dd1f4	ia32
040000 tree 942ab354e52a8e773a77bfe3d43c8e835f74ac76	intel64
100644 blob cc1ae0c780097e5e01c5b138d55d3d988925a821	intel_vtd.h
100644 blob 21c65c433800b750a03329f2adb0d59cfa0abdd3	memmap.h
100644 blob 2f270879347102b6edf9823b421139259d8f39fc	memory.ld
100644 blob d02d517f33918569c07fc4feac81ba703874e50c	mmustructs.h
100644 blob 0ccd3806bbfb587381ba82e3dc8d076e388e7aab	msr.h
100644 blob d3135a1647c5e92f8bfc9129e51c35ce3521b8bc	multiboot.h
100644 blob 9477e169ea3218cfcd0c554c957e7792daee54be	pagetables.ld
100644 blob 5808d8bd99a6b09dd2caf8e5ec43cd500353ffb9	thread_stack.h