Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 2fa10f640409c06070df4329491173719b3e824c)
+++ kernel/generic/src/main/main.c	(revision 96b89acbc219cb8e0be1fe55c5d2b9e4a2ec9762)
@@ -97,5 +97,5 @@
 /** Boot allocations. */
 ballocs_t ballocs = {
-	.base = NULL,
+	.base = (uintptr_t) NULL,
 	.size = 0
 };