diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index a68540a960..ffd9792e81 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 13e298c566..25cc13f710 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 461b97b2af..55ee54a717 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;