Peter Chubb 896e864431 TX2: Add initial TX2 support ... See CHANGES and https://docs.sel4.systems/Hardware/ for more information		2018-11-07 11:52:51 +11:00
..
arch_include	SELFOUR-1491: verification updates	2018-09-19 12:06:35 +10:00
include	TCB API: Fix minor discrepancy: seL4_CNode was used for VSpace roots	2018-11-06 10:40:17 +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: Use TCB version of TPIDRUR[OW] state	2018-07-13 10:12:18 +10:00
sel4_plat_include	TX2: Add initial TX2 support	2018-11-07 11:52:51 +11: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