Changes in kernel/generic/src/main/main.c [97186929:1caeb2d] in mainline

File:

• kernel/generic/src/main/main.c (modified) (2 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>
@@ -216 +217 @@
         tlb_init();
         ddi_init();
+        tasklet_init();
         arch_post_mm_init();
         arch_pre_smp_init();