From 0d9efd04a8f007a1ca03a2a132e74f4eef29adb4 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 18 Jan 2018 13:05:44 +0100
Subject: [PATCH] sculpt.run: add kernel log message

---
 repos/gems/run/sculpt.run | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index f57232fe2..95ccbd3ab 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -5,6 +5,10 @@ if {![have_spec x86] || [have_spec linux]} {
 
 proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] }
 
+if {[have_spec nova]} {
+	proc kernel_output { } { return "novga serial logmem" }
+}
+
 create_boot_directory
 
 import_from_depot [depot_user]/src/[base_src] \
@@ -192,6 +196,18 @@ install_config {
 		</route>
 	</start>
 
+	<start name="log_kernel">
+		<binary name="log_core"/>
+		<resource name="RAM" quantum="1M"/>
+		<config period_ms="2000"/>
+		<route>
+			<service name="ROM" label="log"> <parent label="kernel_log"/> </service>
+			<service name="Timer"> <child name="timer"/> </service>
+			<service name="LOG" label="log"> <child name="log" label="kernel"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
+
 	<start name="fs_report">
 		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Report"/> </provides>