Changeset 597fa24 in mainline for kernel/generic/src/main/main.c

Timestamp:

2025-04-09T16:19:40Z (6 days ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

master

Children:

9f945464, a188131

Parents:

3e7948c

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2025-04-09 16:08:09)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2025-04-09 16:19:40)

Message:

Enable static initialization of kernel synchronization primitives

File:

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

kernel/generic/src/main/main.c

@@ -53 +53 @@
 #include <stdio.h>
 #include <panic.h>
-#include <assert.h>
 #include <config.h>
 #include <time/clock.h>