denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

drivers_interactive-pc: remove platform service

Browse Source 
The platform driver should better stay internal to the drivers subsystem
to reinforce the consistency with other drivers_interactive packages.
This commit is contained in:
Norman Feske
2021-10-13 14:45:24 +02:00
parent e6cdaafb20
commit b7bb6869b4
1 changed files with 0 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/recipes/raw/drivers_interactive-pc/drivers.config
View File

@@ -16,9 +16,6 @@
<default caps="60"/>
<service name="Platform">
<default-policy> <child name="platform_drv"/> </default-policy> </service>
<start name="acpi_drv" caps="250">
<resource name="RAM" quantum="4M"/>
<route>
@@ -74,11 +71,6 @@
<policy label_prefix="usb_drv"> <pci class="USB"/> </policy>
<policy label_prefix="nic_drv"> <pci class="ETHERNET"/> </policy>
<policy label_prefix="wifi_drv"> <pci class="WIFI"/> </policy>
<policy label_prefix="intel_gpu_drv">
<pci class="VGA"/>
<pci bus="0" device="0" function="0"/>
<pci class="ISABRIDGE"/>
</policy>
</config>
</start>