From a0d92fcdb8871a94e60c47f133fca6caeee59525 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 12 Nov 2015 11:00:58 +0100
Subject: [PATCH] platform_drv: increase RAM config for -O0 builds

---
 repos/base/run/platform_drv.inc                          | 2 +-
 repos/os/src/drivers/platform/spec/x86/device_pd/main.cc | 2 +-
 repos/os/src/drivers/platform/spec/x86/main.cc           | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index a68540a96..ffd9792e8 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -93,7 +93,7 @@ proc append_platform_drv_config {} {
 	<start name=\"platform_drv\" [platform_drv_priority]>"
 
 		append config {
-		<resource name="RAM" quantum="3M" constrain_phys="yes"/>
+		<resource name="RAM" quantum="4M" constrain_phys="yes"/>
 		<provides>
 			<service name="Platform"/>}
 
diff --git a/repos/os/src/drivers/platform/spec/x86/device_pd/main.cc b/repos/os/src/drivers/platform/spec/x86/device_pd/main.cc
index 13e298c56..25cc13f71 100644
--- a/repos/os/src/drivers/platform/spec/x86/device_pd/main.cc
+++ b/repos/os/src/drivers/platform/spec/x86/device_pd/main.cc
@@ -84,7 +84,7 @@ int main(int argc, char **argv)
 	 * Initialize server entry point
 	 */
 	enum {
-		STACK_SIZE       = 4096
+		STACK_SIZE       = 1024*sizeof(Genode::addr_t)
 	};
 
 	static Cap_connection cap;
diff --git a/repos/os/src/drivers/platform/spec/x86/main.cc b/repos/os/src/drivers/platform/spec/x86/main.cc
index 461b97b2a..55ee54a71 100644
--- a/repos/os/src/drivers/platform/spec/x86/main.cc
+++ b/repos/os/src/drivers/platform/spec/x86/main.cc
@@ -82,7 +82,7 @@ int main(int argc, char **argv)
 	 */
 	enum {
 		STACK_SIZE              = 2 * sizeof(addr_t)*1024,
-		DEVICE_PD_RAM_QUOTA = 196 * 4096,
+		DEVICE_PD_RAM_QUOTA = 256 * 4096,
 	};
 
 	static Cap_connection cap;