Changes in kernel/generic/src/main/main.c [933cadf:e2650d3] in mainline

File:

• kernel/generic/src/main/main.c (modified) (6 diffs)

kernel/generic/src/main/main.c

@@ -58 +58 @@
 #include <proc/thread.h>
 #include <proc/task.h>
+#include <proc/tasklet.h>
 #include <main/kinit.h>
 #include <main/version.h>
@@ -96 +97 @@
 /** Boot allocations. */
 ballocs_t ballocs = {
-        .base = (uintptr_t) NULL,
+        .base = NULL,
         .size = 0
 };
@@ -182 +183 @@
         version_print();
         
-        LOG("\nconfig.base=%p config.kernel_size=%zu"
-            "\nconfig.stack_base=%p config.stack_size=%zu",
-            (void *) config.base, config.kernel_size,
-            (void *) config.stack_base, config.stack_size);
+        LOG("\nconfig.base=%p config.kernel_size=%" PRIs
+            "\nconfig.stack_base=%p config.stack_size=%" PRIs,
+            config.base, config.kernel_size, config.stack_base,
+            config.stack_size);
         
 #ifdef CONFIG_KCONSOLE
@@ -216 +217 @@
         tlb_init();
         ddi_init();
+        tasklet_init();
         arch_post_mm_init();
         arch_pre_smp_init();
@@ -223 +225 @@
         slab_enable_cpucache();
         
-        uint64_t size;
-        const char *size_suffix;
-        bin_order_suffix(zones_total_size(), &size, &size_suffix, false);
-        printf("Detected %u CPU(s), %" PRIu64 " %s free memory\n",
-            config.cpu_count, size, size_suffix);
+        printf("Detected %" PRIs " CPU(s), %" PRIu64" MiB free memory\n",
+            config.cpu_count, SIZE2MB(zones_total_size()));
         
         cpu_init();
@@ -242 +241 @@
                 size_t i;
                 for (i = 0; i < init.cnt; i++)
-                        LOG("init[%zu].addr=%p, init[%zu].size=%zu",
-                            i, (void *) init.tasks[i].addr, i, init.tasks[i].size);
+                        LOG("init[%" PRIs "].addr=%p, init[%" PRIs
+                            "].size=%" PRIs, i, init.tasks[i].addr, i,
+                            init.tasks[i].size);
         } else
                 printf("No init binaries found.\n");