From 666a66e3277ca7322ee86d03aeb75567e6dab7fc Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 9 Aug 2024 08:35:53 +0200
Subject: [PATCH] pc_wifi.run: spend 2M RAM for platform driver

Issue #5264
---
 repos/pc/run/pc_wifi.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/pc/run/pc_wifi.run b/repos/pc/run/pc_wifi.run
index 2165813fc4..64be6b23bd 100644
--- a/repos/pc/run/pc_wifi.run
+++ b/repos/pc/run/pc_wifi.run
@@ -175,7 +175,7 @@ append config {
 	</start>
 
 	<start name="platform" caps="100" managing_system="yes">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Platform"/> </provides>
 		<route>
 			<service name="ROM" label="devices"> <child name="report_rom"/> </service>