Adrian Danis e588986797 Use CONFIG_NUM_PRIORITIES when defining seL4_MaxPrio (Fixes SELFOUR-261)		2015-07-28 15:10:16 +10:00
..
arch_include	libsel4: Remove old stdint include	2015-07-27 11:48:53 +10:00
include	Use CONFIG_NUM_PRIORITIES when defining seL4_MaxPrio (Fixes SELFOUR-261)	2015-07-28 15:10:16 +10:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00