Changes in kernel/generic/src/main/main.c [597fa24:25939997] 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.
@@ -53 +52 @@
 #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 = {
@@ -275 +273 @@
                 panic("Cannot create kernel task.");
 
-        kernel_task = kernel;
-
         /*
          * Create the first thread.