Kent McLeod e937d96801 Change debug #ifdefs to be from autoconf.h ... Previously the #ifdefs for some debug syscalls relied on definitions from Makefile.flags in sel4_tools. This changes them to use configs defined in autoconf.h which makes them easier to import when building projects that don't use sel4_tools.		2017-02-24 14:15:59 +11:00
..
arm	Change debug #ifdefs to be from autoconf.h	2017-02-24 14:15:59 +11:00
x86	s/D61/DATA61/ in license headers for consistency	2017-02-21 16:38:51 +11:00