Andrew Boie 81f61bb1be x86: make GDT setup optional ... For some security scenarios the GDT may already be setup and locked, in which case the kernel trying to set it again could lead to problems. Change-Id: I727c1d213479f46a4bb6f0c04a9096131e10b3e7 Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>		2016-05-26 19:32:03 +00:00
..
debug	debug: add target GDB server	2016-04-16 05:29:22 +00:00
asmPrv.h	…
asm_inline.h	…
asm_inline_gcc.h	c++: Add extern "C" { } block to header files	2016-02-05 20:25:22 -05:00
cache_private.h	c++: Add extern "C" { } block to header files	2016-02-05 20:25:22 -05:00
gdt.h	x86: make GDT setup optional	2016-05-26 19:32:03 +00:00
idtEnt.h	x86: fix IDT entry definition	2016-02-10 16:01:26 +00:00
kernel_event_logger_arch.h	c++: Add extern "C" { } block to header files	2016-02-05 20:25:22 -05:00
nano_private.h	nanokernel: Add back pointer to microkernel task	2016-05-04 22:51:32 +00:00
start_task_arch.h	c++: Add extern "C" { } block to header files	2016-02-05 20:25:22 -05:00
swapstk.h	c++: Add extern "C" { } block to header files	2016-02-05 20:25:22 -05:00