Inaky Perez-Gonzalez 68685dd301 doc: removed unused/defined CONFIG_EOI_HANDLER_SUPPORTED config option ... No code uses it and it being undefined anywhere generates a documentation warning. Change-Id: I09de2e58edf82e7fb9780a5dea98a282502436b6 Signed-off-by: Inaky Perez-Gonzalez <inaky.perez-gonzalez@intel.com>		2016-06-14 20:00:52 +00:00
..
core	x86: make GDT setup optional	2016-05-26 19:32:03 +00:00
debug	debug: add target GDB server	2016-04-16 05:29:22 +00:00
include	x86: make GDT setup optional	2016-05-26 19:32:03 +00:00
soc	doc: removed unused/defined CONFIG_EOI_HANDLER_SUPPORTED config option	2016-06-14 20:00:52 +00:00
Kbuild	new SoC naming convention	2016-04-18 21:24:59 +00:00
Kconfig	Cleanup whitespace in Kconfig files	2016-05-25 13:28:07 -05:00
Makefile	build: Introduce concept of SoC specific build flags	2016-05-27 10:04:29 -05:00
defconfig	Use SoC instead of platform.	2016-02-05 20:25:11 -05:00