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

#define SERIAL_PORT 0x70000000

void serial_write(char value) {
    *(char *)SERIAL_PORT = value;
}

void kernel_main() {
    register_console_callback(serial_write);

    printk("webkernel version %s (Compiler %s, Linker %s) on %s\n", VERSION, COMPILER_NAME, LINKER_NAME, ARCH_NAME);
}