Adrian Danis 8d0ed7029d Use correct seL4_MaxUntypedBits ... This change uses the seL4_MaxUntypedBits constant in decodeUntypedInvocation when checking the size of the requested allocation. This constant is also changed to be the correct value. The verification team suspects this check is probably unnecessary, but have also resolved not to waste more time investigating.		2016-11-01 16:17:11 +11:00
..
arch_include	libsel4: Update VTX invocations to use condition= instead of config=	2016-10-28 14:09:28 +11:00
include	Merge pull request #410 in SEL4/sel4 from ~ALYONS/sel4:cache to master	2016-10-28 04:21:25 +00:00
sel4_arch_include	Use correct seL4_MaxUntypedBits	2016-11-01 16:17:11 +11:00
sel4_plat_include	Replace #pragma once with include guards	2016-10-21 12:05:02 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	Merge pull request #446 in SEL4/sel4 from ~ADANIS/sel4:withmrs to master	2016-10-28 04:35:09 +00:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Allow invocations to not use IPC buffer	2016-10-28 15:25:27 +11:00
Makefile	libsel4: Allow invocations to not use IPC buffer	2016-10-28 15:25:27 +11:00