Anna Lyons eb0553fa75 SELFOUR-1491: add seL4_IRQCOntrol_GetTrigger ... Add a new invocation which allows an irq handler capability to be obtained with a specific trigger method (edge or level). Obtaining this capability modifies the GIC state.		2018-09-19 12:06:35 +10:00
..
arch_include	SELFOUR-1491: add seL4_IRQCOntrol_GetTrigger	2018-09-19 12:06:35 +10:00
include	docs: s/depth of 32/depth equivalent to the wordsize	2018-09-19 12:06:35 +10:00
mode_include	Increase badge size for endpoints on 64-bit platforms	2017-10-27 12:15:09 +11:00
sel4_arch_include	arm: Use TCB version of TPIDRUR[OW] state	2018-07-13 10:12:18 +10:00
sel4_plat_include	[SELFOUR-1156] RISC-V Port	2018-04-18 10:10:14 +10:00
src	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
tools	manual: group generated API methods by object type	2018-05-10 11:36:01 +10:00
CMakeLists.txt	libsel4: rename sel4_gen custom target to sel4_generated	2018-09-10 15:57:19 +10:00