mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
smbios_decoder: fix timer error message
added timer to run file to fix error message. Fixes #4237
This commit is contained in:
committed by
Christian Helmuth
parent
908d581a8c
commit
52011ec034
@@ -36,7 +36,12 @@ append config {
|
||||
append_platform_drv_config
|
||||
|
||||
append config {
|
||||
|
||||
<start name="timer">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Timer"/></provides>
|
||||
<route> <any-service> <parent/> </any-service> </route>
|
||||
</start>
|
||||
|
||||
<start name="report_rom">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides>
|
||||
@@ -61,7 +66,7 @@ install_config $config
|
||||
|
||||
set boot_modules {
|
||||
report_rom
|
||||
core init ld.lib.so
|
||||
core init timer ld.lib.so
|
||||
smbios_decoder
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user