ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: use pc_platform_drv instead of generic one

Browse Source 
Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski 2022-10-05 16:18:37 +02:00 committed by Christian Helmuth
parent 1504041c82
commit b88959f60c
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/recipes/pkg/drivers_managed-pc/archives
View File

@ -1,4 +1,4 @@
_/src/platform_drv
_/src/pc_platform_drv
_/src/pci_decode
_/src/acpi_drv
_/src/ps2_drv

8
repos/gems/sculpt/drivers/pc
View File

@ -40,6 +40,7 @@
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="no">
<policy label="pci_decode -> system" report="acpi_drv -> acpi"/>
<policy label="platform_drv -> acpi" report="acpi_drv -> acpi"/>
<policy label="rom_filter -> pci_devices" report="pci_decode -> devices"/>
<policy label="driver_manager -> pci_devices" report="platform_drv -> devices"/>
<policy label="usb_drv -> config" report="driver_manager -> usb_drv.config"/>
@ -131,12 +132,13 @@
</start>
<start name="platform_drv" caps="400" managing_system="yes">
<binary name="pc_platform_drv"/>
<resource name="RAM" quantum="4M"/>
<provides>
<service name="Platform"/>
</provides>
<provides> <service name="Platform"/> </provides>
<route>
<service name="ROM" label="system"> <parent label="system"/> </service>
<service name="ROM" label="devices"> <child name="rom_filter"/> </service>
<service name="ROM" label="acpi"> <child name="report_rom"/> </service>
<service name="Report" label="devices"> <child name="report_rom"/> </service>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>