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

File:

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

kernel/generic/src/main/main.c

@@ -1 +1 @@
 /*
- * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
@@ -111 +110 @@
 CHECK_INT_TYPE(64);
 
-task_t *kernel_task;
-
 /** Global configuration structure. */
 config_t config = {
@@ -276 +273 @@
                 panic("Cannot create kernel task.");
 
-        kernel_task = kernel;
-
         /*
          * Create the first thread.