Changes in kernel/generic/src/main/main.c [25939997:597fa24] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -1 +1 @@
 /*
+ * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
@@ -52 +53 @@
 #include <stdio.h>
 #include <panic.h>
-#include <assert.h>
 #include <config.h>
 #include <time/clock.h>
@@ -110 +110 @@
 CHECK_INT_TYPE(64);
 
+task_t *kernel_task;
+
 /** Global configuration structure. */
 config_t config = {
@@ -273 +275 @@
                 panic("Cannot create kernel task.");
 
+        kernel_task = kernel;
+
         /*
          * Create the first thread.