Adrian Danis f5d0b93ccf arm: Correct TCB size when using FPU and virtualisation		2018-03-26 14:41:28 +11:00
..
arch_include	x86: add framebuffer info of MBI2 via boot_info	2017-11-30 22:54:01 +01:00
include	SELFOUR-331: add seL4_TCB_SetSchedParams	2018-02-26 11:24:42 +11:00
mode_include	Increase badge size for endpoints on 64-bit platforms	2017-10-27 12:15:09 +11:00
sel4_arch_include	arm: Correct TCB size when using FPU and virtualisation	2018-03-26 14:41:28 +11:00
sel4_plat_include	Added 32-bit support for the zynqmp.	2017-09-27 12:58:49 -04:00
src	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
tools	SELFOUR-1016: Require auth cap to set prio/mcp	2018-02-26 11:24:22 +11:00
CMakeLists.txt	libsel4: remove unused extra_cflags	2018-02-22 14:51:48 +11:00
Kbuild	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
Kconfig	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
Makefile	libsel4: Make guard and badge definitions mode specific	2017-10-27 12:15:09 +11:00