ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 15:44:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: only add log_kernel if used with nova

Browse Source 
Fixes genodelabs/genode#5171
This commit is contained in:
Johannes Schlatow 2024-04-03 14:07:11 +02:00 committed by Christian Helmuth
parent 96acb3412f
commit 881f443bbe
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -216,8 +216,7 @@ proc log_core_start_node { } {
proc log_kernel_start_node { } {
if {[have_board linux]} return
if {[have_board pinephone]} return
if {![have_spec nova]} return
return {
<start name="log_kernel">