Benjamin Walsh f703f7d0f6 debug: add target GDB server ... The GDB server implements a set of GDB commands, such as read/write memory, read/write registers, connect/detach, breakpoints, single-step, continue. It is not OS-aware, and thus provides a 'system-level' debugging environment, where the system stops when debugging (such as handling a breakpoint or single-stepping). It currently only works over a serial line, taking over the uart_console. If target code prints over the console, the GDB server intecepts them and does not send the characters directly over the serial line, but rather wraps them in a packet handled by the GDB client. Change-Id: Ic4b82e81b5a575831c01af7b476767234fbf74f7 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-04-16 05:29:22 +00:00
..
debug	debug: add target GDB server	2016-04-16 05:29:22 +00:00
asm_inline_gcc.h
asm_inline.h
asmPrv.h
cache_private.h
gdt.h
idtEnt.h
kernel_event_logger_arch.h
nano_private.h	debug/x86: add runtime info needed by target debuggers	2016-04-16 05:29:22 +00:00
start_task_arch.h
swapstk.h