Adrian Danis 40ce1b11f1 libsel4: remove unused extra_cflags ... This is now unused due to the usage of CPPFile which allows us to just use the includes via the `include_directories`		2018-02-22 14:51:48 +11:00
..
arch_include	x86: add framebuffer info of MBI2 via boot_info	2017-11-30 22:54:01 +01:00
include	x86: Dangerous read/write MSR interface	2018-01-17 16:35:39 +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: Correct type typo in syscalls.h	2018-02-06 17:17:13 +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	libsel4: Remove bitfield type unifying Guard and Badge construction	2017-10-27 12:15:09 +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