Changes in kernel/generic/src/main/main.c [8df5f20:128359eb] in mainline

File:

• kernel/generic/src/main/main.c (modified) (1 diff)

kernel/generic/src/main/main.c

@@ -170 +170 @@
             ALIGN_UP((uintptr_t) kdata_end - config.base, PAGE_SIZE);
 
-        // NOTE: All kernel stacks must be aligned to STACK_SIZE,
-        //       see get_stack_base().
+        /*
+         * NOTE: All kernel stacks must be aligned to STACK_SIZE,
+         *       see CURRENT.
+         */
 
         /* Place the stack after the kernel, init and ballocs. */