From f762e8e4fd480b68ed2f26bebd1037a48cffb1b6 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 19 Dec 2012 14:56:53 +0100 Subject: [PATCH] nova: increase number of available cap indexes Noux test requires some more indexes. We don't free all up because of a missing reference counting implementation of indexes in base-nova. Issue #394 --- base-nova/include/base/cap_sel_alloc.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-nova/include/base/cap_sel_alloc.h b/base-nova/include/base/cap_sel_alloc.h index 57fda8efee..e551de5e13 100644 --- a/base-nova/include/base/cap_sel_alloc.h +++ b/base-nova/include/base/cap_sel_alloc.h @@ -24,7 +24,7 @@ namespace Genode { - class Cap_selector_allocator : public Bit_allocator<4096> + class Cap_selector_allocator : public Bit_allocator<2 * 4096> { public: