From 3b0d694f42c07f1588f5002b1fb9a580f8a5fe50 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sat, 29 Jun 2019 13:51:02 +0200
Subject: [PATCH] pkg/noux-system: clipboard support

Issue #3437
---
 repos/ports/recipes/pkg/noux-system/runtime            | 4 +++-
 repos/ports/recipes/raw/noux-system/noux-system.config | 9 ++++++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/repos/ports/recipes/pkg/noux-system/runtime b/repos/ports/recipes/pkg/noux-system/runtime
index cd3db6cddf..7e5c3c1455 100644
--- a/repos/ports/recipes/pkg/noux-system/runtime
+++ b/repos/ports/recipes/pkg/noux-system/runtime
@@ -7,7 +7,9 @@
 		<file_system label="report" writeable="no"/>
 		<file_system label="target" writeable="yes"/>
 		<file_system label="fonts"  writeable="no"/>
-		<rom label="vimrc"/>
+		<rom    label="vimrc"/>
+		<rom    label="clipboard"/>
+		<report label="clipboard"/>
 	</requires>
 
 	<content>
diff --git a/repos/ports/recipes/raw/noux-system/noux-system.config b/repos/ports/recipes/raw/noux-system/noux-system.config
index 8c88d7d3a9..25c9e9edb9 100644
--- a/repos/ports/recipes/raw/noux-system/noux-system.config
+++ b/repos/ports/recipes/raw/noux-system/noux-system.config
@@ -8,6 +8,7 @@
 		<service name="Timer"/>
 		<service name="File_system"/>
 		<service name="Nitpicker"/>
+		<service name="Report"/>
 	</parent-provides>
 
 	<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
@@ -18,16 +19,22 @@
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
 		<config xpos="10" ypos="10" initial_width="800" initial_height="600"/>
+		<route>
+			<service name="Nitpicker"> <parent label="terminal"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
 	</start>
 
 	<start name="terminal">
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="Terminal"/> </provides>
-		<config>
+		<config copy="yes" paste="yes">
 			<vfs> <dir name="fonts"> <fs/> </dir> </vfs>
 		</config>
 		<route>
 			<service name="File_system"> <parent label="fonts"/> </service>
+			<service name="Report" label="clipboard"> <parent label="clipboard"/> </service>
+			<service name="ROM"    label="clipboard"> <parent label="clipboard"/> </service>
 			<any-service> <parent/> <any-child/> </any-service>
 		</route>
 	</start>