100644 blob ad237f2e5608780ff30949113ddedb1ca74c458b	acpi.h
100644 blob 3982f8ae8b5555fb19eb8713a6961806ad8036dc	arch.h
100644 blob 1ab73da9b80ea8091e79464750f385e1119d8cdd	arch_inlines.h
100644 blob 52d5eea102d2a342b69023f7055ec5958b306d2d	cpuid.h
100644 blob bc65a2287f2a91bd91a8863744bdb66f4ab83a98	efi.h
040000 tree e05136f9860a6de4912baaf0f84dc90576cbeb57	ia32
040000 tree d01a993fb9c49399cb9b1fef567458d16a3cfce4	intel64
100644 blob cc1ae0c780097e5e01c5b138d55d3d988925a821	intel_vtd.h
100644 blob 21c65c433800b750a03329f2adb0d59cfa0abdd3	memmap.h
100644 blob 2d66456a73db602191c87f2f17e62b6ae3ddac50	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