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++) {