ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

drivers_managed-pc: support system reset

Browse Source
This commit is contained in:
Norman Feske 2017-12-01 15:06:35 +01:00 committed by Christian Helmuth
parent e23fc5a1fc
commit 9899fed654
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/gems/recipes/raw/drivers_managed-pc/drivers.config
View File

@ -111,7 +111,7 @@
<service name="Acpi"/>
</provides>
<route>
<service name="ROM" label="system"> <child name="fs_rom"/> </service>
<service name="ROM" label="system"> <parent label="system"/> </service>
<service name="ROM" label="acpi"> <child name="fs_rom"/> </service>
<service name="Report" label="pci">
<child name="fs_report" label="pci_devices"/> </service>
@ -124,7 +124,7 @@
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
</route>
<config>
<config system="yes">
<report pci="yes"/>
<policy label_prefix="ps2_drv"> <device name="PS2"/> </policy>
<policy label_prefix="dynamic -> vesa_fb_drv"> <pci class="VGA"/> </policy>