portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Adrian Danis 9bedaaa873 SELFOUR-552: Translate IO-ASIDs->PDs by table 
Previously looking up the page directory base for a SysteMMU was
done by writing the ASID into the hardware and reading out the
currently set page directory for that ASID. This is confusing for
verification so this commit introduces a global translation table
for converting an ASID to a page directory.
2016-07-08 15:38:33 +10:00
..
allwinnerA20/plat Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
am335x Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
apq8064 Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
exynos4 Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
exynos5 Merge branch master into arm_hyp 2016-06-08 15:04:03 +10:00
hikey Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
imx6 SELFOUR-448 Benchmark: Add PMU IRQ support to ARM platforms 2016-06-24 12:44:09 +10:00
imx7 Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
imx31 SELFOUR-448 Benchmark: Add PMU IRQ support to ARM platforms 2016-06-24 12:44:09 +10:00
omap3 Refactor duplicated code in hardware.h 2016-06-07 12:01:14 +10:00
pc99 SELFOUR-448 Benchmark: Track thread's CPU utilisation time 2016-06-24 12:43:09 +10:00
tk1 SELFOUR-552: Translate IO-ASIDs->PDs by table 2016-07-08 15:38:33 +10:00
zynq7000 SELFOUR-448 Benchmark: Add PMU IRQ support to ARM platforms 2016-06-24 12:44:09 +10:00