website-kernel/arch/kernel.c


1
2
3
4
5
6
7
8
9

#include <int.h>
#include <log.h>

#define SERIAL_PORT 0x70000000

void kernel_main(size_t hart) {
    (void)hart;
    printk("wkern version %s (Compiler %s, Linker %s) on %s\n", VERSION, COMPILER_NAME, LINKER_NAME, ARCH_NAME);
}