Inaky Perez-Gonzalez 9b3b36bd7a gdb-server: update call to uart_register_input() ... uart_register_input()'s signature changed with the addition of a callback. gdb_server.c was never updated so now the compilation fails when enabling the GDB server. Fix by setting a NULL completion (as seems the code would not use it anyway). Change-Id: I4c0df65a31bd906db704f7f4a564e7d6f065aae7 Signed-off-by: Inaky Perez-Gonzalez <inaky.perez-gonzalez@intel.com>		2016-06-22 17:40:01 +00:00
..
debug	gdb-server: update call to uart_register_input()	2016-06-22 17:40:01 +00:00
generated	Kbuild: depend CONFIG_MICROKERNEL for building sysgen file	2016-02-05 20:15:33 -05:00
Kconfig	misc: add config to omit frame pointer	2016-06-16 18:15:59 +00:00
Makefile	build: Add C++ support	2016-02-05 20:25:23 -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
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