Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 622f40971c4de54afef879c8d7d1bc1e522942ee)
+++ kernel/generic/src/main/main.c	(revision 29938b2ecffc7146338693259e6bc86d0c91fca4)
@@ -89,5 +89,8 @@
 
 /** Global configuration structure. */
-config_t config;
+config_t config = {
+	.identity_configured = false,
+	.non_identity_configured = false
+};
 
 /** Initial user-space tasks */