quark/src/kernel/main.c

#include <stdint.h>
#include "stdio.h"
#include "hal/hal.h"
#include "drivers/timer.h"
#include "drivers/keyboard.h"

void __attribute__((cdecl)) kmain(uint64_t magic, uint64_t addr){
    hal_initialize();
    timer_initialize();
    keyboard_initialize();
    
    clear_screen();
    for(;;);
}