Yanyan Shen a4fef8f4d9 libsel4/armv8: Add VGICMaintenance_/VCPUFault_Msg		2018-03-28 12:15:09 +11:00
..
arch_include	x86: add framebuffer info of MBI2 via boot_info	2017-11-30 22:54:01 +01:00
include	Fix trivial comment typos.	2018-03-27 10:51:26 +11:00
mode_include	Increase badge size for endpoints on 64-bit platforms	2017-10-27 12:15:09 +11:00
sel4_arch_include	libsel4/armv8: Add VGICMaintenance_/VCPUFault_Msg	2018-03-28 12:15:09 +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