seL4/libsel4
Qian Ge 7316bfc676 SMMU: providing master control caps to root task
Adding the master control caps that are used to create transaction
and context banks caps. This commit includes the internal kernel
structure that required to manage any created transaction and
context bank caps.

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
2020-10-28 17:30:42 +11:00
..
arch_include SMMU: basic driver for init and probing 2020-10-28 17:30:42 +11:00
include SMMU: providing master control caps to root task 2020-10-28 17:30:42 +11:00
mode_include replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sel4_arch_include SMMU: basic driver for init and probing 2020-10-28 17:30:42 +11:00
sel4_plat_include PolarFire SoC: Initial support for platform 2020-10-28 08:33:05 +10:00
src Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
tools aarch32: Move tpidruro from vcpu to tcb context 2020-05-15 12:04:39 +10:00
CMakeLists.txt libsel4: fix license tags 2020-09-04 20:30:01 +08:00