Matthew Fernandez 0cb33dec6d Add a configuration option to disable ANSI colours. ... Note that the default is for ANSI colours to be enabled, so behaviour will be unchanged for projects that update to this commit and make no build configuration changes.		2015-12-18 12:22:19 +11:00
..
constants.h	Use CONFIG_NUM_PRIORITIES when defining seL4_MaxPrio (Fixes SELFOUR-261)	2015-07-28 15:10:16 +10:00
debug.h	Add debug functionality to print the kernel entry reason and arguments at any point in the kernel	2015-12-15 12:01:18 +11:00
errors.h	Release snapshot	2014-07-18 05:03:59 +10:00
failures.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
faults.h	Release snapshot	2014-07-18 05:03:59 +10:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00
objecttype.h	Rename uint32_t -> word_t in any relevant places	2015-12-10 10:45:20 +11:00
syscall.h	Add debug functionality to print the kernel entry reason and arguments at any point in the kernel	2015-12-15 12:01:18 +11:00
syscall.xml	SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.	2015-11-20 15:28:18 +11:00
syscall.xsd	Config sections in syscall.xml files take a condition which is passed to #if.	2015-09-03 11:39:31 +10:00
types.bf	Release snapshot	2014-07-18 05:03:59 +10:00
types.h	Add a configuration option to disable ANSI colours.	2015-12-18 12:22:19 +11:00