add_executable("kernel"
    "src/main.cpp"

    # KSTD OS Implementation
    "src/kstd/os.cpp"
    "src/kstd/print.cpp"

    # Platform Independent KAPI implementation
    "src/kapi/cio.cpp"
    "src/kapi/memory.cpp"
    "src/kapi/system.cpp"
)

target_include_directories("kernel" PRIVATE
    "include"
)

target_link_libraries("kernel" PRIVATE
    "os::arch"
    "os::kapi"
)

target_link_options("kernel" PRIVATE
    "-T${KERNEL_LINKER_SCRIPT}"
    "-no-pie"
    "-nostdlib"
)

set_property(TARGET "kernel"
    APPEND
    PROPERTY LINK_DEPENDS
    "${KERNEL_LINKER_SCRIPT}"
)

target_disassemble("kernel")
target_extract_debug_symbols("kernel")
target_strip("kernel")

target_generate_bootable_iso("kernel")