Files
empty/kernel/start.c
2025-10-26 15:21:48 +01:00

21 lines
304 B
C

#include <arch/bsp/yellow_led.h>
static volatile unsigned int counter = 0;
static void increment_counter(void)
{
counter++;
}
void start_kernel [[noreturn]] (void);
void start_kernel [[noreturn]] (void)
{
init_yellow();
yellow_on();
// Endless counter
while (true) {
increment_counter();
}
}