Andrew Boie 9557f0306c gen_idt: don't force 32-bit build ... We no longer assume pointer sizes are the same between host and target, and use stdint defintions to size things. Change-Id: Ie4dc41c60d62931fdb3d1764ade01c16a64d0b54 Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>		2016-07-08 20:31:02 +00:00
..
debug	debug: add target GDB server	2016-04-16 05:29:22 +00:00
asmPrv.h	x86: remove dynamically generated IRQ and exception code	2016-02-05 20:24:41 -05:00
asm_inline.h	kconfig: define architecture as a kconfig variable	2016-02-05 20:24:52 -05:00
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	gen_idt: don't force 32-bit build	2016-07-08 20:31:02 +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