portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/src
History
Adrian Danis a9e1f51713 SELFOUR-1062: Hide all IOMMU related code behind #ifdef guards 
The IOMMU implementation is not going to be verified at the moment, and so the code for
it needs to be hidden from verification, which we do by #ifdef'ing it out if the IOMMU
is not enabled. As a result the IOMMU configuration depends on a non verification target
2017-08-21 16:44:58 +10:00
..
api Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
arch SELFOUR-1062: Hide all IOMMU related code behind #ifdef guards 2017-08-21 16:44:58 +10:00
benchmark Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
config unsigned int -> word_t 2015-12-10 10:45:21 +11:00
fastpath SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
kernel Share linker.h between architectures 2017-08-10 08:38:36 +10:00
machine SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
model SELFOUR-880: add seL4_DebugDumpScheduler 2017-05-30 15:22:23 +10:00
object SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
plat SELFOUR-1062: Hide all IOMMU related code behind #ifdef guards 2017-08-21 16:44:58 +10:00
smp SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
assert.c s/DEBUG/CONFIG_DEBUG_BUILD/ 2017-04-06 10:43:24 +10:00
inlines.c SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
Makefile SMP: move lock.c from x86 to architecture-independent smp directory 2017-02-21 15:34:25 +11:00
string.c Correct separation of printing and debug builds 2016-05-17 15:10:08 +10:00
util.c mark memset and memcpy as VISIBLE 2017-06-16 14:25:50 +10:00