Changes in kernel/generic/src/main/main.c [0b4a67a:e2650d3] in mainline

File:

• kernel/generic/src/main/main.c (modified) (1 diff)

kernel/generic/src/main/main.c

@@ -97 +97 @@
 /** Boot allocations. */
 ballocs_t ballocs = {
-        .base = (uintptr_t) NULL,
+        .base = NULL,
         .size = 0
 };