Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/generic/include/config.h	(revision 61e90ddd605dc4854cbb016a4be65d1cd1e9510c)
@@ -56,4 +56,14 @@
 } init_t;
 
+/** Boot allocations.
+ *
+ * Allocatations made by the boot that are meant to be used by the kernel
+ * are all recorded in the ballocs_t type.
+ */
+typedef struct {
+	uintptr_t base;
+	size_t size;
+} ballocs_t;
+
 typedef struct {
 	count_t cpu_count;		/**< Number of processors detected. */
@@ -70,4 +80,5 @@
 extern config_t config;
 extern init_t init;
+extern ballocs_t ballocs;
 
 #endif