Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/generic/src/main/main.c	(revision 1526594cecdc714a8d598f097949f6f2939ec9fb)
@@ -58,4 +58,5 @@
 #include <proc/thread.h>
 #include <proc/task.h>
+#include <proc/tasklet.h>
 #include <main/kinit.h>
 #include <main/version.h>
@@ -103,12 +104,13 @@
  * appropriate sizes and addresses.
  */
-uintptr_t hardcoded_load_address = 0;	/**< Virtual address of where the kernel
-					  *  is loaded. */
-size_t hardcoded_ktext_size = 0;	/**< Size of the kernel code in bytes.
-					  */
-size_t hardcoded_kdata_size = 0;	/**< Size of the kernel data in bytes.
-					 */
-uintptr_t stack_safe = 0;		/**< Lowest safe stack virtual address.
-					  */
+
+/**< Virtual address of where the kernel is loaded. */
+uintptr_t hardcoded_load_address = 0;
+/**< Size of the kernel code in bytes. */
+size_t hardcoded_ktext_size = 0;
+/**< Size of the kernel data in bytes. */
+size_t hardcoded_kdata_size = 0;
+/**< Lowest safe stack virtual address. */
+uintptr_t stack_safe = 0;		
 
 void main_bsp(void);
@@ -216,4 +218,5 @@
 	tlb_init();
 	ddi_init();
+	tasklet_init();
 	arch_post_mm_init();