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

platform_drv: implement PCI powering and reset

Browse Source 
Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski
2022-10-10 15:17:55 +02:00
committed by Christian Helmuth
parent 8f0a012345
commit bc1e231775
10 changed files with 161 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/dde_bsd/run/audio_in.run
View File

@@ -97,6 +97,7 @@ append config {
</provides>
<route>
<service name="ROM" label="devices"> <child name="report_rom"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="ROM"> <parent/> </service>

1
repos/dde_bsd/run/audio_out.run
View File

@@ -85,6 +85,7 @@ install_config {
</provides>
<route>
<service name="ROM" label="devices"> <child name="report_rom"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="ROM"> <parent/> </service>