From 4e99925c7ccaf678873b10e5ac32d5a53e60747a Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 28 Apr 2015 10:49:27 +0200 Subject: [PATCH] vesa: upgrade memory for pci device iteration Issue #755 --- repos/libports/src/drivers/framebuffer/vesa/hw_emul.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/repos/libports/src/drivers/framebuffer/vesa/hw_emul.cc b/repos/libports/src/drivers/framebuffer/vesa/hw_emul.cc index 46f1b63bf..0c4565fee 100644 --- a/repos/libports/src/drivers/framebuffer/vesa/hw_emul.cc +++ b/repos/libports/src/drivers/framebuffer/vesa/hw_emul.cc @@ -52,12 +52,15 @@ class Pci_card * Iterate through all accessible devices. */ Pci::Device_capability prev_device_cap, device_cap; + Genode::env()->parent()->upgrade(_pci_drv.cap(), "ram_quota=4096"); for (device_cap = _pci_drv.first_device(); device_cap.valid(); device_cap = _pci_drv.next_device(prev_device_cap)) { Pci::Device_client device(device_cap); + if (prev_device_cap.valid()) + _pci_drv.release_device(prev_device_cap); /* * If the device is an VGA compatible controller with base * class 0x03 and sub class 0x00 stop iteration. (We shift out