Daniel Leung ce44048d46 x86: rename CONFIG_SSE* to CONFIG_X86_SSE* ... This adds X86 keyword to the kconfigs to indicate these are for x86. The old options are still there marked as deprecated. Signed-off-by: Daniel Leung <daniel.leung@intel.com>		2021-02-15 08:21:15 -05:00
..
ia32	x86: rename CONFIG_SSE* to CONFIG_X86_SSE*	2021-02-15 08:21:15 -05:00
intel64	kernel: add page frame management	2021-01-23 19:47:23 -05:00
acpi.h	arch/x86: Expose function do get DRHDs from DMAR ACPI table	2020-12-08 09:29:20 -05:00
arch_inlines.h
arch.h	drivers/interrupt_controller: Add Intel VT-D interrupt remapping driver	2020-12-08 09:29:20 -05:00
intel_vtd.h	drivers/interrupt_controller: Add Intel VT-D interrupt remapping driver	2020-12-08 09:29:20 -05:00
memmap.h
memory.ld
mmustructs.h	x86: implement demand paging APIs	2021-01-23 19:47:23 -05:00
msr.h
multiboot.h
pagetables.ld
thread_stack.h