mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
70acd4b2d5
Make the framebuffer driver for pl11x chipsets, the ps2 input driver for pl050, and the lan9116 NIC driver independent from the pbxa9 board by using the newly introduced common ARM platform driver API. Ref #3299
57 lines
1.5 KiB
Plaintext
57 lines
1.5 KiB
Plaintext
<config>
|
|
<parent-provides>
|
|
<service name="IRQ"/>
|
|
<service name="IO_MEM"/>
|
|
<service name="ROM"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="Timer"/>
|
|
</parent-provides>
|
|
|
|
<default caps="100"/>
|
|
|
|
<service name="Nic">
|
|
<default-policy> <child name="nic_drv"/> </default-policy> </service>
|
|
|
|
<start name="platform_drv">
|
|
<resource name="RAM" quantum="2M"/>
|
|
<provides> <service name="Platform"/> </provides>
|
|
<route> <any-service> <parent/> </any-service> </route>
|
|
<config>
|
|
|
|
<!-- device resource declarations -->
|
|
|
|
<device name="ethernet">
|
|
<resource name="IO_MEM" address="0x4e000000" size="0x1000"/>
|
|
<resource name="IRQ" number="60"/>
|
|
<property name="compatible" value="smsc,lan9118"/>
|
|
</device>
|
|
|
|
<!-- policy part, who owns which devices -->
|
|
|
|
<policy label="nic_drv -> ">
|
|
<device name="ethernet"/>
|
|
</policy>
|
|
</config>
|
|
</start>
|
|
|
|
<start name="nic_drv">
|
|
<binary name="lan9118_nic_drv"/>
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides> <service name="Nic"/> </provides>
|
|
<config mmio_base="0x4e000000" irq="60" />
|
|
<route>
|
|
<service name="Platform">
|
|
<child name="platform_drv"/>
|
|
</service>
|
|
<service name="ROM"> <parent/> </service>
|
|
<service name="PD"> <parent/> </service>
|
|
<service name="CPU"> <parent/> </service>
|
|
<service name="LOG"> <parent/> </service>
|
|
<service name="Timer"> <parent/> </service>
|
|
</route>
|
|
</start>
|
|
</config>
|