#[============================================================================[
# x86_64 specific configuration for the kernel image.
#]============================================================================]

set(TEACHOS_KERNEL_LINKER_SCRIPT "${CMAKE_CURRENT_SOURCE_DIR}/kern.ld")
mark_as_advanced(TEACHOS_KERNEL_LINKER_SCRIPT)

target_sources("kernel" PRIVATE
  "src/entry.cpp"
)

target_include_directories("kernel" PRIVATE
  "include"
)

target_link_options("kernel" PRIVATE
  "-T${TEACHOS_KERNEL_LINKER_SCRIPT}"
)

target_link_libraries("kernel" PRIVATE
  "-Wl,--whole-archive"
  "teachos::boot"
  "-Wl,--no-whole-archive"
)

set_target_properties("kernel" PROPERTIES
  LINK_DEPENDS "${TEACHOS_KERNEL_LINKER_SCRIPT}"
)