From 881f443bbef537f03d2d423ab3440730d5602e90 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Wed, 3 Apr 2024 14:07:11 +0200
Subject: [PATCH] sculpt: only add log_kernel if used with nova

Fixes genodelabs/genode#5171
---
 repos/gems/run/sculpt.run | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 0f2d6fed55..e68977ffb9 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -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">