diff --git a/libports/run/libc_ffat.run b/libports/run/libc_ffat.run
index 714373a8e..a0726759d 100644
--- a/libports/run/libc_ffat.run
+++ b/libports/run/libc_ffat.run
@@ -48,7 +48,7 @@ set config {
-
+
@@ -58,7 +58,7 @@ set config {
append_if [have_spec pci] config {
-
+
diff --git a/libports/run/python.run b/libports/run/python.run
index 53c19f1a6..118c20ac1 100644
--- a/libports/run/python.run
+++ b/libports/run/python.run
@@ -38,7 +38,7 @@ set config {
-
+
diff --git a/os/run/tar_rom.run b/os/run/tar_rom.run
index 6dbdc4bb0..0a983b627 100644
--- a/os/run/tar_rom.run
+++ b/os/run/tar_rom.run
@@ -37,7 +37,7 @@ install_config {
-
+
diff --git a/os/src/test/dynamic_config/master/main.cc b/os/src/test/dynamic_config/master/main.cc
index fd031a011..6caae86b8 100644
--- a/os/src/test/dynamic_config/master/main.cc
+++ b/os/src/test/dynamic_config/master/main.cc
@@ -47,7 +47,7 @@ int main(int, char **)
/* define initial config for slave */
slave_policy.configure("-1");
- static Genode::Slave slave(ep, slave_policy, 512*1024);
+ static Genode::Slave slave(ep, slave_policy, 768*1024);
/* update slave config at regular intervals */
int counter = 0;