ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

platform_drv.inc: check board=pc not spec=x86

Browse Source 
Fixes run scripts for Linux/x86.
This commit is contained in:
Christian Helmuth 2021-02-03 11:46:14 +01:00 committed by Norman Feske
parent ef88d05f2b
commit 210f5073e3
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -76,7 +76,7 @@ proc platform_drv_boot_modules {} {
set drv_boot_modules ""
lappend_if [have_platform_drv] drv_boot_modules [platform_drv_binary]
if {[have_spec x86]} {
if {[have_board pc]} {
lappend drv_boot_modules report_rom
lappend drv_boot_modules [acpi_drv_name]
}
@ -92,7 +92,7 @@ proc append_platform_drv_boot_modules {} {
proc platform_drv_policy {} {
if (![have_spec x86]) {
if {![have_board pc]} {
return {}
}
@ -222,7 +222,7 @@ proc platform_drv_config {} {
<provides>
<service name="Platform"/>}
append_if [have_spec x86] drv_config {
append_if [have_board pc] drv_config {
<service name="Acpi"/>}
append_if [have_spec arm] drv_config {
@ -237,7 +237,7 @@ proc platform_drv_config {} {
append_if [have_board pc] drv_config {
<service name="ROM" label="acpi"> <child name="acpi_report_rom"/> </service>}
append_if [expr [have_spec x86]] drv_config {
append_if [expr [have_board pc]] drv_config {
<service name="Report"> <child name="acpi_report_rom"/> </service>}
append_if [expr [have_board rpi] || [have_board pc]] drv_config {