RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

hardware: expose rpi3 intc region to userspace

Browse Source 
the intc region contains a timer that userspace uses on the MCS kernel.
This commit is contained in:
Simon Shields
2019-09-16 16:17:11 +10:00
parent cc655275f4
commit 75ee55a8fd
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
tools/hardware.yml
View File

@@ -50,9 +50,16 @@ devices:
interrupts:
INTERRUPT_VGIC_MAINTENANCE: 0
# Broadcom second level IRQ controller (interrupt-controller/brcm,bcm2835-armctrl-ic.txt),
# TI AM33XX/OMAP3 intc (interrupt-controller/ti,omap-intc-irq.txt)
- compatible:
- brcm,bcm2836-armctrl-ic
regions:
- index: 0
kernel: INTC_PPTR
# the pi 3 exposes another timer at 0x3f00b400, which is in the same page as
# this, so we need to give this region to userspace :-(
user: true
# TI AM33XX/OMAP3 intc (interrupt-controller/ti,omap-intc-irq.txt)
- compatible:
- ti,am33xx-intc
- ti,omap3-intc
regions: