Benjamin Walsh 43592b1127 x86/debug: GDB server needs to handle some exceptions ... GDB server needs ownership of some exceptions to display information when taking a fatal exception (DIVIDE_ERROR, PAGE_FAULT). Introduce a Kconfig option that can work for any debugger. Change-Id: I39aef22a820543a7fe9ac333b487592946abc0f3 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-04-16 05:29:22 +00:00
..
debug
generated
cpp_ctors.c
cpp_dtors.c
cpp_init_array.c
cpp_virtual.c
cpp_vtable.cpp
Kconfig
Makefile
printk.c
reboot.c