| .. |
|
allwinnerA20/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
am335x/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
apq8064/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
bcm2837/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
exynos4/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
exynos5/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
exynos_common/plat/machine
|
Refactor mct.c into mct.h and hardware.c
|
2017-11-28 10:21:46 +11:00 |
|
hikey/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
imx6/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
imx7/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
imx31/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
omap3/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
pc99/plat
|
Calculate IRQ_CNODE_BITS from maxIRQ
|
2018-12-12 16:24:31 +11:00 |
|
spike/plat
|
riscv/spike: fix seL4_UserTop for riscv
|
2018-12-20 12:27:23 +11:00 |
|
tk1/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
tx1/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
tx2/plat
|
arm: use UART_PPTR for all uarts
|
2019-02-05 14:47:38 +11:00 |
|
zynq7000/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
|
zynqmp/plat
|
arm: use auto-generated interrupt numbers
|
2019-01-16 14:46:08 +11:00 |
