diff --git a/base-foc/src/base/env/cap_sel_alloc.cc b/base-foc/src/base/env/cap_sel_alloc.cc
index f92598368..836da6a9f 100644
--- a/base-foc/src/base/env/cap_sel_alloc.cc
+++ b/base-foc/src/base/env/cap_sel_alloc.cc
@@ -19,6 +19,6 @@
Genode::Capability_allocator* Genode::cap_alloc()
{
- static Genode::Capability_allocator_tpl<8192> _alloc;
+ static Genode::Capability_allocator_tpl<4096> _alloc;
return &_alloc;
}
diff --git a/gems/run/tcp_terminal.run b/gems/run/tcp_terminal.run
index f224cd17a..566ba64e2 100644
--- a/gems/run/tcp_terminal.run
+++ b/gems/run/tcp_terminal.run
@@ -73,7 +73,7 @@ set config {
append_if [have_spec pci] config {
-
+
}
diff --git a/gems/run/terminal_echo.run b/gems/run/terminal_echo.run
index 0d6ce3a09..099e333c5 100644
--- a/gems/run/terminal_echo.run
+++ b/gems/run/terminal_echo.run
@@ -54,7 +54,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/libports/run/libc_ffat.run b/libports/run/libc_ffat.run
index 5cfe04433..714373a8e 100644
--- a/libports/run/libc_ffat.run
+++ b/libports/run/libc_ffat.run
@@ -58,7 +58,7 @@ set config {
append_if [have_spec pci] config {
-
+
diff --git a/libports/run/lwip.run b/libports/run/lwip.run
index 1c05ec788..0cdc4a541 100644
--- a/libports/run/lwip.run
+++ b/libports/run/lwip.run
@@ -78,7 +78,7 @@ set config {
append_if [have_spec pci] config {
-
+
}
diff --git a/ports-foc/run/l4linux.run b/ports-foc/run/l4linux.run
index 0203c1301..9d55dd7e1 100644
--- a/ports-foc/run/l4linux.run
+++ b/ports-foc/run/l4linux.run
@@ -64,7 +64,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
@@ -141,4 +141,5 @@ expect {
timeout { puts stderr "Error: Test execution timed out"; exit -2 }
}
+puts "Test succeeded"
exec rm bin/initrd.gz
diff --git a/ports/run/debug_nitpicker.run b/ports/run/debug_nitpicker.run
index 662e72d13..ba8f49562 100644
--- a/ports/run/debug_nitpicker.run
+++ b/ports/run/debug_nitpicker.run
@@ -83,7 +83,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/ports/run/noux_bash.run b/ports/run/noux_bash.run
index cea498980..4e8bfac28 100644
--- a/ports/run/noux_bash.run
+++ b/ports/run/noux_bash.run
@@ -71,7 +71,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/ports/run/noux_vim.run b/ports/run/noux_vim.run
index 5a8bd64ca..bc514e2f2 100644
--- a/ports/run/noux_vim.run
+++ b/ports/run/noux_vim.run
@@ -69,7 +69,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/qt4/run/calculatorform.run b/qt4/run/calculatorform.run
index bd95ec3fb..f911b7d24 100644
--- a/qt4/run/calculatorform.run
+++ b/qt4/run/calculatorform.run
@@ -60,7 +60,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/qt4/run/previewer.run b/qt4/run/previewer.run
index 6e77aac5c..1bc26f5c6 100644
--- a/qt4/run/previewer.run
+++ b/qt4/run/previewer.run
@@ -60,7 +60,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/qt4/run/qt4.run b/qt4/run/qt4.run
index ea0ef86bb..d650499d7 100644
--- a/qt4/run/qt4.run
+++ b/qt4/run/qt4.run
@@ -62,7 +62,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/qt4/run/tetrix.run b/qt4/run/tetrix.run
index 673808b63..f63b00e50 100644
--- a/qt4/run/tetrix.run
+++ b/qt4/run/tetrix.run
@@ -60,7 +60,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}
diff --git a/qt4/run/textedit.run b/qt4/run/textedit.run
index 0c312d4c8..60ce1e2c2 100644
--- a/qt4/run/textedit.run
+++ b/qt4/run/textedit.run
@@ -60,7 +60,7 @@ append_if [have_spec vesa] config {
append_if [have_spec pl11x] config {
-
+
}