From 3936fe25dc04b0d4eec30393959c2df0c544dd70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Mon, 14 Nov 2022 13:27:31 +0100
Subject: [PATCH] sculpt: fix VESA framebuffer driver integration

The platform driver configuration is missing the required 'info'
attribute that allows the 'vesa_fb_drv' to map the proper I/O
memory address of the framebuffer. In addition the driver requires
at least '2' more CAPs, so raise the quota to '110'.

Fixes #4668.
---
 repos/gems/sculpt/drivers/pc              | 2 +-
 repos/gems/src/app/driver_manager/main.cc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/sculpt/drivers/pc b/repos/gems/sculpt/drivers/pc
index 8f2f2879cd..937d982e1d 100644
--- a/repos/gems/sculpt/drivers/pc
+++ b/repos/gems/sculpt/drivers/pc
@@ -156,7 +156,7 @@
 		<config>
 			<report devices="yes"/>
 			<policy label_prefix="ps2_drv"> <device name="ps2"/> </policy>
-			<policy label_prefix="dynamic -> vesa_fb_drv"> <pci class="VGA"/>   </policy>
+			<policy label_prefix="dynamic -> vesa_fb_drv" info="yes"> <pci class="VGA"/> </policy>
 			<policy label_prefix="dynamic -> ahci_drv">    <pci class="AHCI"/>  </policy>
 			<policy label_prefix="dynamic -> nvme_drv" info="yes"> <pci class="NVME"/>  </policy>
 			<policy label_prefix="usb_drv" info="yes">     <pci class="USB"/>   </policy>
diff --git a/repos/gems/src/app/driver_manager/main.cc b/repos/gems/src/app/driver_manager/main.cc
index 85be9c78a4..da4a3ac9cb 100644
--- a/repos/gems/src/app/driver_manager/main.cc
+++ b/repos/gems/src/app/driver_manager/main.cc
@@ -189,7 +189,7 @@ struct Driver_manager::Vesa_fb_driver : Device_driver
 	{
 		xml.node("start", [&] () {
 			_gen_common_start_node_content(xml, "vesa_fb_drv", "vesa_fb_drv",
-			                               Ram_quota{8*1024*1024}, Cap_quota{100},
+			                               Ram_quota{8*1024*1024}, Cap_quota{110},
 			                               Priority{-1}, Version{0});
 			xml.node("route", [&] () {
 				_gen_config_route(xml, "fb_drv.config");