From 9bb96108ed2f794b909fc2f99c9789156e60195a Mon Sep 17 00:00:00 2001
From: Bora Sahin <bora.sahin@b-labs.co.uk>
Date: Fri, 25 Sep 2009 13:43:33 +0300
Subject: [PATCH] Container number is received from the configuration system.

---
 include/l4/generic/resource.h | 2 +-
 src/generic/resource.c        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/l4/generic/resource.h b/include/l4/generic/resource.h
index 0f5f5d2..8307b81 100644
--- a/include/l4/generic/resource.h
+++ b/include/l4/generic/resource.h
@@ -8,7 +8,7 @@
 #define __RESOURCES_H__
 
 /* Number of containers defined at compile-time */
-#define CONFIG_TOTAL_CONTAINERS		1
+#include <l4/config.h>
 
 #include <l4/generic/capability.h>
 #include <l4/lib/idpool.h>
diff --git a/src/generic/resource.c b/src/generic/resource.c
index 881cec2..0cc98f4 100644
--- a/src/generic/resource.c
+++ b/src/generic/resource.c
@@ -806,7 +806,7 @@ int setup_boot_resources(struct boot_resources *bootres,
 	init_kernel_container(kcont);
 
 	/* Number of containers known at compile-time */
-	bootres->nconts = CONFIG_TOTAL_CONTAINERS;
+	bootres->nconts = CONFIG_CONTAINERS;
 
 	/* Traverse all containers */
 	for (int i = 0; i < bootres->nconts; i++) {