| .. |
|
allwinnerA20/plat
|
allwinnerA20: remove irqNumbers enum
|
2019-01-15 11:16:04 +11:00 |
|
am335x/plat
|
am335x: use KERNEL_TIMER_IRQ for timer IRQ number
|
2019-01-08 13:07:36 +11:00 |
|
apq8064/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
bcm2837/plat
|
Add system timer device untyped for BCM2837 (RPi3)
|
2019-01-03 12:41:43 +11:00 |
|
exynos4/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
exynos5/plat
|
exynos5: adjust PHYS_BASE to match generated one
|
2019-01-16 14:36:19 +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
|
Remove empty plat_mode/machine header files
|
2018-12-12 16:24:31 +11:00 |
|
imx6/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
imx7/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
imx31/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
omap3/plat
|
omap3: use KERNEL_TIMER_IRQ for timer IRQ number
|
2019-01-08 13:07:36 +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
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
tx1/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
tx2/plat
|
tx2: adjust PHYS_BASE to match generated one
|
2019-01-16 14:37:13 +11:00 |
|
zynq7000/plat
|
Remove N_INTERRUPTS constant
|
2018-12-12 16:24:31 +11:00 |
|
zynqmp/plat
|
Remove empty plat_mode/machine header files
|
2018-12-12 16:24:31 +11:00 |
