Norman Feske cd3a5852d6 Warn about the use of deprecated headers ... This commit enables compile-time warnings displayed whenever a deprecated API header is included, and adjusts the existing #include directives accordingly. Issue #1987		2017-01-31 12:01:18 +01:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
etc	Add unified build directories to create_builddir	2017-01-13 13:05:44 +01:00
include/sel4	base: avoid use of deprecated base/printf.h	2016-08-29 17:27:10 +02:00
lib	Generalize ABI mechanism to shared objects	2017-01-13 13:06:54 +01:00
mk/spec	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
patches	sel4: fix UART access (patch)	2016-09-14 11:53:04 +02:00
ports	sel4: fix UART access (patch)	2016-09-14 11:53:04 +02:00
src	Warn about the use of deprecated headers	2017-01-31 12:01:18 +01:00