3 commits

Author	SHA1	Message	Date
Adrian Danis	915a404d5c	libsel4: Provide a layer of indirection around types.bf and shared_types.bf to allow for 64-bit variants	2016-01-21 13:31:54 +11:00
Anna Lyons	d93699c9a3	SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling	2016-01-11 11:16:08 +11:00
TrusthworthySystems	91b7da8625	Release snapshot	2014-07-18 05:03:59 +10:00