From 5bff5b5fbf53834e50f4e84bfa2fa783c97b08c4 Mon Sep 17 00:00:00 2001 From: Bahadir Balban Date: Sat, 21 Nov 2009 12:31:03 +0200 Subject: [PATCH] Reduced maximum number of pagers to 1, and boot-time capabilities to 16 Each container was taking up more than 3KB of space at boot-time structures This was due to having 4 pagers and 32 boot-time capabilities for each. This caused the boot-time kernel size to vary a lot with capabilities. The new numbers are optimum. Particularly we always have a single pager per container, even though the array structures allow more. Single pager makes container-wide privileges and management simpler. --- include/l4/generic/container.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/l4/generic/container.h b/include/l4/generic/container.h index 5dd7b7e..02b3edb 100644 --- a/include/l4/generic/container.h +++ b/include/l4/generic/container.h @@ -19,8 +19,8 @@ #define curcont (current->container) #define CONFIG_CONTAINER_NAMESIZE 64 -#define CONFIG_MAX_CAPS_USED 32 -#define CONFIG_MAX_PAGERS_USED 4 +#define CONFIG_MAX_CAPS_USED 16 +#define CONFIG_MAX_PAGERS_USED 1 /* Container macro. No locks needed! */