cx-zivuos/sources/kernel.c

#include <stdio.h>
#include "kernel.h"

void kernel_init(void) {
    puts("UwU");
}