From 193a401097b2ce92dc5c349f0b3321b9b43ba371 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 9 Jul 2019 16:36:37 +0200
Subject: [PATCH] Increase RAM quota of ACPI driver to 4M

On some machines, more than 3 MiB are needed. This finally equalizes all
occurences of RAM quotas with drivers_managed.

Fixes #3443
---
 repos/base/run/platform_drv.inc  | 2 +-
 repos/os/src/drivers/acpi/README | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 558f23ccf8..63b6dd2a63 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -194,7 +194,7 @@ proc platform_drv_config {} {
 		<config acpi_ready="yes" act_as_acpi_drv="yes" report="yes"/>}
 		} else {
 			append drv_config {
-		<resource name="RAM" quantum="3M"/>}
+		<resource name="RAM" quantum="4M"/>}
 		}
 
 		append drv_config {
diff --git a/repos/os/src/drivers/acpi/README b/repos/os/src/drivers/acpi/README
index 1ce2d858a6..a82319f469 100644
--- a/repos/os/src/drivers/acpi/README
+++ b/repos/os/src/drivers/acpi/README
@@ -17,7 +17,7 @@ Usage
 -----
 
 !<start name="acpi_drv">
-!  <resource name="RAM" quantum="3M"/>
+!  <resource name="RAM" quantum="4M"/>
 !</start>
 !
 !<start name="report_rom">