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	arch/x86: Add NMI registration API	2020-12-10 17:06:17 +02:00
kernel_arch_data.h	x86: move some per-cpu initialization to C	2020-01-13 16:35:10 -05:00
kernel_arch_func.h	arch/x86: Generalize dynamic irq connection on given vector	2020-12-08 09:29:20 -05:00
offsets_short_arch.h	x86: optimize locations of psp and thread ptables	2020-01-13 16:35:10 -05:00
x86_mmu.h	x86: implement demand paging APIs	2021-01-23 19:47:23 -05:00