tool: use bender hwp options also for foc and seL4

Issue #5406
This commit is contained in:
Alexander Boettcher 2025-01-15 18:29:17 +01:00 committed by Christian Helmuth
parent f28f97773d
commit a8b3193d73
5 changed files with 36 additions and 56 deletions

28
tool/run/bender.inc Normal file
View File

@ -0,0 +1,28 @@
#
# Return Bender option that configures Bender's Intel HWP plugin
#
# \param --bender-intel-hwp-mode Run the Intel HWP plugin of Bender in the
# given mode. Valid argument values are
# "off",
# "performance",
# "balanced", and
# "power_saving"
# The argument value defaults to
# "performance".
#
proc bender_intel_hwp_mode_option { } {
set opt [get_cmd_arg_first --bender-intel-hwp-mode "performance"]
if {$opt == "off"} {
return "intel_hwp_off"
} elseif {$opt == "performance"} {
return "intel_hwp_performance"
} elseif {$opt == "balanced"} {
return "intel_hwp_balanced"
} elseif {$opt == "power_saving"} {
return "intel_hwp_power_saving"
} else {
return "intel_hwp_performance"
}
}

View File

@ -1,3 +1,5 @@
source [genode_dir]/tool/run/bender.inc
proc binary_name_ld_lib_so { } { return "ld-foc.lib.so" }
proc binary_name_core_a { } { return "core-foc-[board].a" }
proc binary_name_timer { } { return "foc_timer" }
@ -94,7 +96,7 @@ proc run_boot_dir_x86 {binaries} {
exec mv [run_dir]/image.elf [run_dir]/boot/image.elf
set options_bender "[boot_output]"
set options_bender "[boot_output] [bender_intel_hwp_mode_option]"
if {[have_include "image/iso"] || [have_include "image/disk"] || [have_include image/uefi]} {

View File

@ -1,30 +1,4 @@
#
# Return Bender option that configures Bender's Intel HWP plugin
#
# \param --bender-intel-hwp-mode Run the Intel HWP plugin of Bender in the
# given mode. Valid argument values are
# "off",
# "performance",
# "balanced", and
# "power_saving"
# The argument value defaults to
# "performance".
#
proc bender_intel_hwp_mode_option { } {
set opt [get_cmd_arg_first --bender-intel-hwp-mode "performance"]
if {$opt == "off"} {
return "intel_hwp_off"
} elseif {$opt == "performance"} {
return "intel_hwp_performance"
} elseif {$opt == "balanced"} {
return "intel_hwp_balanced"
} elseif {$opt == "power_saving"} {
return "intel_hwp_power_saving"
} else {
return "intel_hwp_performance"
}
}
source [genode_dir]/tool/run/bender.inc
proc binary_name_ld_lib_so { } { return "ld-hw.lib.so" }
proc binary_name_core_a { } { return "core-hw.a" }

View File

@ -1,30 +1,4 @@
#
# Return Bender option that configures Bender's Intel HWP plugin
#
# \param --bender-intel-hwp-mode Run the Intel HWP plugin of Bender in the
# given mode. Valid argument values are
# "off",
# "performance",
# "balanced", and
# "power_saving"
# The argument value defaults to
# "performance".
#
proc bender_intel_hwp_mode_option { } {
set opt [get_cmd_arg_first --bender-intel-hwp-mode "performance"]
if {$opt == "off"} {
return "intel_hwp_off"
} elseif {$opt == "performance"} {
return "intel_hwp_performance"
} elseif {$opt == "balanced"} {
return "intel_hwp_balanced"
} elseif {$opt == "power_saving"} {
return "intel_hwp_power_saving"
} else {
return "intel_hwp_performance"
}
}
source [genode_dir]/tool/run/bender.inc
proc binary_name_ld_lib_so { } { return "ld-nova.lib.so" }
proc binary_name_core_a { } { return "core-nova.a" }

View File

@ -1,3 +1,5 @@
source [genode_dir]/tool/run/bender.inc
proc binary_name_ld_lib_so { } { return "ld-sel4.lib.so" }
proc binary_name_core_a { } { return "core-sel4.a" }
proc binary_name_timer { } {
@ -57,7 +59,7 @@ proc run_boot_dir {binaries} {
exec mv [run_dir]/image.elf [run_dir]/boot/image.elf
set options_bender "[boot_output] phys_max=256M"
set options_bender "[boot_output] [bender_intel_hwp_mode_option] phys_max=256M"
if {[have_include "image/iso"] || [have_include "image/disk"] || [have_include image/uefi]} {