From 57c9f2aa439af2ea7d43f05bd0fdfc3dfb5df471 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 11 May 2015 19:08:03 +0200 Subject: [PATCH] Fix comment --- repos/base-foc/include/base/cap_alloc.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-foc/include/base/cap_alloc.h b/repos/base-foc/include/base/cap_alloc.h index 42fb407e28..4d0d712ebc 100644 --- a/repos/base-foc/include/base/cap_alloc.h +++ b/repos/base-foc/include/base/cap_alloc.h @@ -41,7 +41,7 @@ namespace Genode { where normal lock isn't feasible */ enum { - /* everything above START_IDX is managed by core */ + /* everything below START_IDX is managed by core */ START_IDX = Fiasco::USER_BASE_CAP >> Fiasco::L4_CAP_SHIFT };