mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-12 21:53:28 +00:00
parent
51479e6be0
commit
fe009fd66d
@ -82,6 +82,9 @@ proc platform_drv_config_non_x86 {} {
|
||||
}
|
||||
if {[have_board rpi]} {
|
||||
return {
|
||||
<device name="mbox" type="broadcom-mbox">
|
||||
<io_mem address="0x2000b800" size="0x1000"/>
|
||||
</device>
|
||||
<device name="dwc_otg" type="brcm,bcm2835-usb">
|
||||
<io_mem address="0x20980000" size="0x10000"/>
|
||||
<irq number="9"/>
|
||||
@ -147,7 +150,10 @@ if { [have_spec x86] } { append_platform_drv_config
|
||||
append config "<start name=\"[platform_drv_binary_non_x86]\" managing_system=\"yes\">"
|
||||
append config {
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Platform"/></provides>
|
||||
<provides>
|
||||
<service name="Platform"/>
|
||||
<service name="Rpi_mbox"/>
|
||||
</provides>
|
||||
<config>
|
||||
}
|
||||
append config "[platform_drv_config_non_x86]"
|
||||
|
Loading…
x
Reference in New Issue
Block a user