From cd7a6fc9fe8466e30fba53a6d0e743fb788f6839 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 15 Jul 2020 11:53:18 +0200
Subject: [PATCH] pkg/drivers_interactive-muen: use capture session

This is follow-up commit to "Turn framebuffer drivers into capture
client".

Issue #3813
---
 .../raw/drivers_interactive-muen/drivers.config        | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-muen/drivers.config b/repos/os/recipes/raw/drivers_interactive-muen/drivers.config
index 37edf8a053..e869ebe6c5 100644
--- a/repos/os/recipes/raw/drivers_interactive-muen/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-muen/drivers.config
@@ -10,13 +10,11 @@
 		<service name="CPU"/>
 		<service name="LOG"/>
 		<service name="Timer"/>
+		<service name="Capture"/>
 	</parent-provides>
 
 	<default caps="60"/>
 
-	<service name="Framebuffer">
-		<default-policy> <child name="fb_drv"/> </default-policy> </service>
-
 	<service name="Input">
 		<default-policy> <child name="input_filter"/> </default-policy> </service>
 
@@ -44,8 +42,7 @@
 
 	<start name="fb_drv" caps="120">
 		<binary name="vesa_fb_drv"/>
-		<resource name="RAM" quantum="8M"/>
-		<provides><service name="Framebuffer"/></provides>
+		<resource name="RAM" quantum="16M"/>
 		<route>
 			<service name="ROM" label="config"> <parent label="fb_drv.config"/> </service>
 			<service name="Platform"> <child name="platform_drv"/> </service>
@@ -56,11 +53,12 @@
 			<service name="CPU">      <parent/> </service>
 			<service name="LOG">      <parent/> </service>
 			<service name="Timer">    <parent/> </service>
+			<service name="Capture">  <parent/> </service>
 		</route>
 	</start>
 
 	<start name="ps2_drv" caps="80">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="1280K"/>
 		<provides> <service name="Input"/> </provides>
 		<route>
 			<service name="Platform"> <child name="platform_drv"/> </service>