From e0af9c2d8ba508398c91a56e99e5ee5c209765d6 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 23 Sep 2019 15:18:26 +0200
Subject: [PATCH] platform_drv.inc: reduce acpi_drv caps to 350

This value equals the configuration in drivers_managed-pc, i.e., Sculpt.
---
 repos/base/run/platform_drv.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index ea2ed0d98..fda7a0062 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -185,7 +185,7 @@ proc platform_drv_config {} {
 	if {[have_spec x86] && ![have_spec muen] && ![have_spec linux]} {
 
 		append drv_config {
-	<start name="acpi_drv" } [platform_drv_priority] { caps="400" >
+	<start name="acpi_drv" } [platform_drv_priority] { caps="350" >
 		<binary name="} [acpi_drv_name] {"/>}
 
 		if {[acpi_drv_name] eq "acpica"} {