add_library("kern" OBJECT
    "src/abort.cpp"
    "src/error.cpp"
    "src/main.cpp"
    "src/print.cpp"
)

target_include_directories("kern" PUBLIC
    "include"
)

target_link_libraries("kern" PUBLIC
    "arch::all"

    "gcc"
)