Index: generic/include/config.h
===================================================================
--- generic/include/config.h	(revision 80d2bdbb59aff7f143abc484128e57a0c2b47e47)
+++ generic/include/config.h	(revision 6c68b975fa0cd622fb0bc38e292185539102f597)
@@ -44,4 +44,7 @@
 	size_t memory_size;
 	size_t kernel_size;
+	
+	__address init_addr;
+	size_t init_size;
 
 	count_t cpu_count;