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	x86/debug: GDB server needs to handle some exceptions	2016-04-16 05:29:22 +00:00
generated	Kbuild: depend CONFIG_MICROKERNEL for building sysgen file	2016-02-05 20:15:33 -05:00
cpp_ctors.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_dtors.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_init_array.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_virtual.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_vtable.cpp	build: Add C++ support	2016-02-05 20:25:23 -05:00
Kconfig	sys_log: Adds the common log API header	2016-03-18 00:01:21 +00:00
Makefile	build: Add C++ support	2016-02-05 20:25:23 -05:00
printk.c	printk: Standardize support for %%	2016-02-05 20:24:36 -05:00
reboot.c	reboot: add reboot infrastructure	2016-02-05 20:24:43 -05:00