From 92171e9b86e51a072fd6bb3280a3514d53c932fb Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 28 Feb 2012 10:48:37 +0100 Subject: [PATCH] Fiasco.OC: Reduce capability-allocator size The old variant provided 8K capability slots to all processes on core, which increased binaries by 180 KB for the static allocator. I reduced it to 4K capabilities stay under 100 KB overhead for the allocator. Anyway, pci_drv and pl11x_drv need more RAM quota now: 2M for pl11x_drv and 1M for pci_drv. --- base-foc/src/base/env/cap_sel_alloc.cc | 2 +- gems/run/tcp_terminal.run | 2 +- gems/run/terminal_echo.run | 2 +- libports/run/libc_ffat.run | 2 +- libports/run/lwip.run | 2 +- ports-foc/run/l4linux.run | 3 ++- ports/run/debug_nitpicker.run | 2 +- ports/run/noux_bash.run | 2 +- ports/run/noux_vim.run | 2 +- qt4/run/calculatorform.run | 2 +- qt4/run/previewer.run | 2 +- qt4/run/qt4.run | 2 +- qt4/run/tetrix.run | 2 +- qt4/run/textedit.run | 2 +- 14 files changed, 15 insertions(+), 14 deletions(-) diff --git a/base-foc/src/base/env/cap_sel_alloc.cc b/base-foc/src/base/env/cap_sel_alloc.cc index f92598368d..836da6a9fa 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 f224cd17ae..566ba64e28 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 0d6ce3a092..099e333c5b 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 5cfe04433a..714373a8e9 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 1c05ec7883..0cdc4a5417 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 0203c1301b..9d55dd7e18 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 662e72d133..ba8f495629 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 cea4989806..4e8bfac282 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 5a8bd64ca0..bc514e2f2c 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 bd95ec3fb2..f911b7d243 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 6e77aac5c6..1bc26f5c68 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 ea0ef86bb3..d650499d7b 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 673808b639..f63b00e509 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 0c312d4c81..60ce1e2c2c 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 { - + }