From a084f6c835ec85ecb01df0356a59abc49d67e004 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 11 Jan 2022 13:58:57 +0100
Subject: [PATCH] sculpt: suppress log_kernel on Pinephone

The log_kernel component exists only for NOVA.
---
 repos/gems/run/sculpt.run | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 76a8f3e931..652906223b 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -180,7 +180,8 @@ proc log_core_start_node { } {
 
 proc log_kernel_start_node { } {
 
-	if {[have_board linux]} return
+	if {[have_board linux]}     return
+	if {[have_board pinephone]} return
 
 	return {
 	<start name="log_kernel">