SquidgeOS/src/kernel/kernel.c

#include <stdint.h>
#include <stddef.h>
#include <drivers/uart.h>
#include <syscon/syscon.h>
#include <kernel/plic.h>
#include <kernel/interrupts.h>
#include <kernel/memory.h>
#include <kernel/timer.h>

void kmain()
{
    zero_bss();
    plic_init();
    timer_init();
    uart_init();
    page_init();
    interrupt_init();
    kputs("----------------------");
    kprintf("Hello, from %s!", "SquidgeOS");
    kputs("----------------------");
    knewline();
    while (1) {
        uint64_t ticks = timer_get_ms();
        kputchar('T');
        kputchar(':');  // Print "T:1234" every second
        kprint_int(ticks);
        knewline();
        delay_ms(1000);
    }
}