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: add mmio delayer support

Browse Source 
required after power on and function level reset

Issue #3963
This commit is contained in:
Alexander Boettcher
2020-12-09 10:07:05 +01:00
committed by Norman Feske
parent c89864c830
commit 5f7fe7498f
6 changed files with 50 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/platform_drv.inc
View File

@@ -262,7 +262,7 @@ proc platform_drv_config {} {
append_if [expr [have_spec x86] && ![have_spec muen]] drv_config {
<service name="ROM" label="acpi"> <child name="acpi_report_rom"/> </service>}
append_if [have_spec rpi] drv_config {
append_if [expr [have_spec rpi] || [have_spec x86]] drv_config {
<service name="Timer"> <any-child/> </service>}
append drv_config {