Changes in kernel/generic/include/main/main.h [f35749e:b60615b] in mainline

File:

• kernel/generic/include/main/main.h (modified) (3 diffs)

kernel/generic/include/main/main.h

@@ -1 +1 @@
 /*
- * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2006 Martin Decky
  * All rights reserved.
@@ -37 +36 @@
 #define KERN_MAIN_H_
 
-#include <proc/task.h>
 #include <typedefs.h>
 
@@ -44 +42 @@
 /* Address of the end of kernel. */
 extern uint8_t kdata_end[];
-extern task_t *kernel_task;
+
+extern uintptr_t stack_safe;
 
 extern void main_bsp(void);