portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Anna Lyons e5bb674594 Calculate IRQ_CNODE_BITS from maxIRQ 
IRQ_CNODE_BITS is determined by the maxIRQ on the platform. Calculate
this value from maxIRQ instead of hardcoding for each platform.
2018-12-12 16:24:31 +11:00
..
allwinnerA20/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
am335x/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
apq8064/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
bcm2837/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
exynos4/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
exynos5/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +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 Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
imx6/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
imx7/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
imx31/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
omap3/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
pc99/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
spike/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
tk1/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
tx1/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
tx2/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
zynq7000/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00
zynqmp/plat Calculate IRQ_CNODE_BITS from maxIRQ 2018-12-12 16:24:31 +11:00