100644 blob ad237f2e5608780ff30949113ddedb1ca74c458b	acpi.h
100644 blob f7e75b3aab6154fb37e80f75acbe04bf7a310948	arch.h
100644 blob 4b255acc8538430b2eab93bd0fcae991c5d7a15c	arch_inlines.h
100644 blob 52d5eea102d2a342b69023f7055ec5958b306d2d	cpuid.h
100644 blob d51c8ee1bd8f6487b37f4a5bdc5a65631cfd688f	efi.h
040000 tree b861b35b52c29c5d51a384d486d33b8ad37e749e	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 9a951a0150f085aab8d8ca96a045f7830a503d00	multiboot.h
100644 blob 9477e169ea3218cfcd0c554c957e7792daee54be	pagetables.ld
100644 blob 5808d8bd99a6b09dd2caf8e5ec43cd500353ffb9	thread_stack.h