portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Hesham Almatary 935e8054a6 SELFOUR-448 Benchmark: Add PMU IRQ support to ARM platforms 
Currently supported boards are:
- imx6 (sabre)
- tk1 (Jeston)
- kzm
2016-06-24 12:44:09 +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-448 Benchmark: Add PMU IRQ support to ARM platforms 2016-06-24 12:44:09 +10:00
zynq7000 SELFOUR-448 Benchmark: Add PMU IRQ support to ARM platforms 2016-06-24 12:44:09 +10:00