From f88fd35f2253e25ecec95b263a7eb79e7fad0802 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 14 Oct 2013 12:35:40 +0200 Subject: [PATCH] hw: avoid upgrade need of 8192 in signal session ref #912 --- .../core/include/signal_session_component.h | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) diff --git a/base-hw/src/core/include/signal_session_component.h b/base-hw/src/core/include/signal_session_component.h index dc3b0582e..71e94321a 100644 --- a/base-hw/src/core/include/signal_session_component.h +++ b/base-hw/src/core/include/signal_session_component.h @@ -31,8 +31,21 @@ namespace Genode public: enum { - RECEIVERS_SB_SIZE = 4096, - CONTEXTS_SB_SIZE = 4096, + /** + * Lastly a receivers SLAB size was 112. Additionally we have + * have to take in account, that the backing store might add + * its metadata and round up to next page size. So we choose + * 36 * 112 which mostly is save to end up in one page only. + */ + RECEIVERS_SB_SIZE = 4032, + + /** + * Lastly a contexts SLAB size was 112. Additionally we have + * have to take in account, that the backing store might add + * its metadata and round up to next page size. So we choose + * 36 * 112 which mostly is save to end up in one page only. + */ + CONTEXTS_SB_SIZE = 4032, }; private: @@ -59,7 +72,7 @@ namespace Genode char _initial_contexts_sb [CONTEXTS_SB_SIZE]; /** - * Destruct receiver 'r' + * Destruct receiver 'r' */ void _destruct_receiver(Receiver * const r);