diff --git a/libports/run/lwip.run b/libports/run/lwip.run
index dcbd3c4a55..641672c948 100644
--- a/libports/run/lwip.run
+++ b/libports/run/lwip.run
@@ -69,7 +69,7 @@ set config {
-
+
}
append_if [have_spec omap4] config {
@@ -91,7 +91,7 @@ append_if [expr ![have_spec omap4]] config {
append_if [have_spec acpi] config {
-
+
diff --git a/os/src/drivers/pci/main.cc b/os/src/drivers/pci/main.cc
index e64d96483b..4ce6071dd2 100644
--- a/os/src/drivers/pci/main.cc
+++ b/os/src/drivers/pci/main.cc
@@ -80,8 +80,8 @@ int main(int argc, char **argv)
* Initialize server entry point
*/
enum {
- STACK_SIZE = 2 * sizeof(addr_t)*1024,
- PCI_DEVICE_PD_RAM_QUOTA = 512 * 1024,
+ STACK_SIZE = 2 * sizeof(addr_t)*1024,
+ PCI_DEVICE_PD_RAM_QUOTA = sizeof(addr_t) * 128 * 1024,
};
static Cap_connection cap;
@@ -93,7 +93,7 @@ int main(int argc, char **argv)
static Rpc_entrypoint device_pd_ep(&cap, STACK_SIZE, "device_pd_slave");
static Device_pd_policy device_pd_policy(device_pd_ep);
static Genode::Slave device_pd_slave(device_pd_ep, device_pd_policy,
- PCI_DEVICE_PD_RAM_QUOTA);
+ PCI_DEVICE_PD_RAM_QUOTA);
session_dev_pd = Genode::Root_client(device_pd_policy.root()).session("");
} catch (...) {
PWRN("PCI device protection domain for IOMMU support is not available");