Kent McLeod 258d9d0b64 libsel4: Correct call for seL4_X86DangerousRDMSR ... x64_sys_recv now requires an additional argument that is used for MCS and ignored for mainline.		2019-08-22 13:24:52 +10:00
..
arch_include	mcs: timeout exceptions	2019-08-22 11:22:38 +10:00
include	trivial: add correct section in docs	2019-08-22 11:22:39 +10:00
mode_include	Rename shared_types*.bf files to be consistent	2019-03-21 12:43:43 +11:00
sel4_arch_include	libsel4: Correct call for seL4_X86DangerousRDMSR	2019-08-22 13:24:52 +10:00
sel4_plat_include	Add initial i.MX8M Mini evk 64-bit Support	2019-07-19 14:32:53 +10:00
src	libsel4: Don't use userData for storing IPC buffer	2019-08-13 15:31:11 +10:00
tools	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
CMakeLists.txt	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00