From 1dd68ce04b706da724410b19afe4e2d757615899 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 23 Aug 2019 15:55:22 +0200
Subject: [PATCH] Adjust quotas for seL4

---
 repos/gems/run/terminal_echo.run                           | 2 +-
 repos/gems/run/terminal_log.run                            | 4 ++--
 repos/os/recipes/raw/drivers_interactive-pc/drivers.config | 4 ++--
 repos/ports/run/noux_bash.run                              | 2 +-
 repos/ports/run/noux_terminal_fs.run                       | 4 ++--
 repos/ports/run/noux_vim.run                               | 4 ++--
 6 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/repos/gems/run/terminal_echo.run b/repos/gems/run/terminal_echo.run
index 1f51f6920..d1d953376 100644
--- a/repos/gems/run/terminal_echo.run
+++ b/repos/gems/run/terminal_echo.run
@@ -42,7 +42,7 @@ install_config {
 			</provides>
 		</start>
 
-		<start name="terminal">
+		<start name="terminal" caps="110">
 			<resource name="RAM" quantum="2M"/>
 			<provides><service name="Terminal"/></provides>
 			<route>
diff --git a/repos/gems/run/terminal_log.run b/repos/gems/run/terminal_log.run
index c7ef380e8..a81ed1256 100644
--- a/repos/gems/run/terminal_log.run
+++ b/repos/gems/run/terminal_log.run
@@ -65,7 +65,7 @@ install_config {
 	</start>
 
 	<start name="pointer">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 	</start>
 
 	<start name="terminal_fb">
@@ -78,7 +78,7 @@ install_config {
 		<config xpos="0" ypos="0" width="640" height="480" refresh_rate="25"/>
 	</start>
 
-	<start name="terminal">
+	<start name="terminal" caps="110">
 		<resource name="RAM" quantum="3M"/>
 		<provides><service name="Terminal"/></provides>
 		<route>
diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index 88ec72ec6..3da3e502b 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -20,7 +20,7 @@
 	<service name="Input">
 		<default-policy> <child name="input_filter"/> </default-policy> </service>
 
-	<start name="acpi_drv" caps="300">
+	<start name="acpi_drv" caps="250">
 		<resource name="RAM" quantum="4M"/>
 		<route>
 			<service name="IO_MEM"> <parent/> </service>
@@ -33,7 +33,7 @@
 		</route>
 	</start>
 
-	<start name="report_rom">
+	<start name="report_rom" caps="70">
 		<resource name="RAM" quantum="1M"/>
 		<provides>
 			<service name="ROM" />
diff --git a/repos/ports/run/noux_bash.run b/repos/ports/run/noux_bash.run
index ce24dec88..67d50ec82 100644
--- a/repos/ports/run/noux_bash.run
+++ b/repos/ports/run/noux_bash.run
@@ -61,7 +61,7 @@ install_config {
 		</provides>
 	</start>
 
-	<start name="terminal">
+	<start name="terminal" caps="110">
 		<resource name="RAM" quantum="2M"/>
 		<provides><service name="Terminal"/></provides>
 		<route>
diff --git a/repos/ports/run/noux_terminal_fs.run b/repos/ports/run/noux_terminal_fs.run
index b28a5ce33..861ae14b8 100644
--- a/repos/ports/run/noux_terminal_fs.run
+++ b/repos/ports/run/noux_terminal_fs.run
@@ -106,7 +106,7 @@ install_config {
 		<config xpos="0" ypos="388" width="1024" height="380" refresh_rate="25"/>
 	</start>
 
-	<start name="terminal_noux">
+	<start name="terminal_noux" caps="110">
 		<binary name="terminal"/>
 		<resource name="RAM" quantum="2M"/>
 		<provides><service name="Terminal"/></provides>
@@ -118,7 +118,7 @@ install_config {
 		</route>
 	</start>
 
-	<start name="terminal_test">
+	<start name="terminal_test" caps="110">
 		<binary name="terminal"/>
 		<resource name="RAM" quantum="2M"/>
 		<provides><service name="Terminal"/></provides>
diff --git a/repos/ports/run/noux_vim.run b/repos/ports/run/noux_vim.run
index 7298db13f..8c6d6ac85 100644
--- a/repos/ports/run/noux_vim.run
+++ b/repos/ports/run/noux_vim.run
@@ -84,7 +84,7 @@ install_config {
 	</start>
 
 	<start name="pointer">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<route>
 			<service name="Nitpicker"> <child name="nitpicker"/> </service>
 			<any-service> <parent/> <any-child/> </any-service>
@@ -130,7 +130,7 @@ install_config {
 		</route>
 	</start>
 
-	<start name="terminal">
+	<start name="terminal" caps="110">
 		<resource name="RAM" quantum="2M"/>
 		<provides><service name="Terminal"/></provides>
 		<config copy="yes" paste="yes">