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

sculpt: disable serial output when LOG!=core

Browse Source 
Issue #5180
This commit is contained in:
Alexander Boettcher 2024-04-17 17:58:26 +02:00 committed by Christian Helmuth
parent 0a5e174d78
commit 7e23b704f0
1 changed files with 25 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
repos/gems/run/sculpt.run
View File

@ -25,8 +25,29 @@ proc assert_platform_supported { } {
assert_platform_supported
if {[have_spec nova]} {
proc kernel_output { } { return "novga serial logmem" }
proc log_core { } {
global ::env
if {[info exists ::env(LOG)]} {
if {$::env(LOG) == "core"} { return true }
}
return false
}
if {[log_core]} {
if {[have_spec nova]} {
proc kernel_output { } { return "novga serial logmem" }
}
} else {
# disable default enabled serial log output via core
proc boot_output { } { return "" }
if {[have_spec nova]} {
proc kernel_output { } { return "novga logmem" }
}
}
@ -141,10 +162,8 @@ import_from_depot [depot_user]/src/[base_src] \
proc log_route { } {
global ::env
if {[info exists ::env(LOG)]} {
if {$::env(LOG) == "core"} {
return {<service name="LOG"> <parent/> </service>} } }
if {[log_core]} {
return {<service name="LOG"> <parent/> </service>} }
return {<service name="LOG"> <child name="log"/> </service>}
}