Hesham Almatary 72478f3606 Manual: document mode/arm object invocations		2017-08-09 10:01:00 +10:00
..
arch_include	SELFOUR-912: migrate ARM docs from latex to xml	2017-06-29 12:06:39 +10:00
include	manual: allow non sec autorefs	2017-06-27 16:22:34 +10:00
sel4_arch_include	Manual: document mode/arm object invocations	2017-08-09 10:01:00 +10:00
sel4_plat_include	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
src	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
tools	manual: allow non sec autorefs	2017-06-27 16:22:34 +10: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: fix licenses	2017-06-22 15:27:29 +10:00