100644 blob ad237f2e5608780ff30949113ddedb1ca74c458b	acpi.h
100644 blob 43cbe66f9cd083a89626e770f41c1ed2b5997be6	arch.h
100644 blob 1ab73da9b80ea8091e79464750f385e1119d8cdd	arch_inlines.h
100644 blob 52d5eea102d2a342b69023f7055ec5958b306d2d	cpuid.h
100644 blob d51c8ee1bd8f6487b37f4a5bdc5a65631cfd688f	efi.h
040000 tree e05136f9860a6de4912baaf0f84dc90576cbeb57	ia32
040000 tree d01a993fb9c49399cb9b1fef567458d16a3cfce4	intel64
100644 blob cc1ae0c780097e5e01c5b138d55d3d988925a821	intel_vtd.h
100644 blob 21c65c433800b750a03329f2adb0d59cfa0abdd3	memmap.h
100644 blob a7d64122488b83949b0e16caf93cf3e2f9eb8245	memory.ld
100644 blob 511d6f61e349e78855519b5a324244bfc16641c7	mmustructs.h
100644 blob 3d8592208606786c0819559e8071b0e1a6617a60	msr.h
100644 blob d3135a1647c5e92f8bfc9129e51c35ce3521b8bc	multiboot.h
100644 blob 9477e169ea3218cfcd0c554c957e7792daee54be	pagetables.ld
100644 blob 03aac49b4d930ab8c7bb718bbc308fd57267dc36	thread_stack.h