Tomasz Bursztyka abf079ce86 arch/x86: Get ACPI RSDP from EFI ... EFI may have provide that pointer alread, so let's get it first. Signed-off-by: Tomasz Bursztyka <tomasz.bursztyka@linux.intel.com>		2022-03-22 09:56:54 -04:00
..
ia32	everywhere: fix typos	2022-03-18 13:24:08 -04:00
intel64	arch/x86: Expand cpu boot argument	2022-03-22 09:56:54 -04:00
acpi.h	arch/x86: Add a function to retrieve ID from ACPI's DMAR	2022-01-07 10:47:27 -05:00
arch_inlines.h
arch.h	clock: add k_cycle_get_64	2021-11-08 13:41:53 -05:00
cpuid.h	arch/x86: Add a CPUID function to get initial APIC ID	2022-02-22 10:35:39 -05:00
efi.h	arch/x86: Get ACPI RSDP from EFI	2022-03-22 09:56:54 -04:00
intel_vtd.h	drivers/interrupt_controller: VT-D may manipulate the cache	2022-01-07 10:47:27 -05:00
memmap.h
memory.ld	everywhere: fix typos	2022-03-14 20:22:24 -04:00
mmustructs.h	x86: implement demand paging APIs	2021-01-23 19:47:23 -05:00
msr.h
multiboot.h	arch/x86: Expand cpu boot argument	2022-03-22 09:56:54 -04:00
pagetables.ld	cmake: rename linker_final_pass.cmd to linker.cmd	2021-03-22 13:05:33 -04:00
thread_stack.h	everywhere: fix typos	2022-03-14 20:22:24 -04:00