#[============================================================================[
# The Kernel Library
#]============================================================================]

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

target_sources("_kernel" PRIVATE
  "src/kernel/main.cpp"
)

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

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

#[============================================================================[
# The Bootstrap Library
#]============================================================================]

target_sources("_boot" PRIVATE
  "src/boot/boot.s"
  "src/boot/crti.s"
  "src/boot/crtn.s"
  "src/boot/multiboot.s"
)

#[============================================================================[
# The Video Library
#]============================================================================]

target_sources("_video" PRIVATE
  "src/video/vga/text.cpp"
)

#[============================================================================[
# The Memory Library
#]============================================================================]

target_sources("_memory" PRIVATE
  "src/memory/main.cpp"
  "src/memory/multiboot/elf_symbols_section.cpp"
  "src/memory/multiboot/reader.cpp"
  "src/memory/allocator/area_frame_allocator.cpp"
  "src/memory/allocator/tiny_frame_allocator.cpp"
  "src/memory/allocator/physical_frame.cpp"
  "src/memory/paging/page_entry.cpp"
  "src/memory/paging/page_table.cpp"
  "src/memory/paging/temporary_page.cpp"
  "src/memory/paging/virtual_page.cpp"
  "src/memory/paging/active_page_table.cpp"
  "src/memory/paging/inactive_page_table.cpp"
  "src/memory/cpu/tlb.cpp"
  "src/memory/cpu/control_register.cpp"
  "src/memory/cpu/msr.cpp"
  "src/memory/heap/bump_allocator.cpp"
  "src/memory/heap/memory_block.cpp"
  "src/memory/heap/linked_list_allocator.cpp"
  "src/memory/heap/global_heap_allocator.cpp"
  "src/shared/mutex.cpp"
)

#[============================================================================[
# The Exception handling Library
#]============================================================================]

target_sources("_exception" PRIVATE
  "src/exception_handling/assert.cpp"
  "src/exception_handling/abort.cpp"
  "src/exception_handling/panic.cpp"
  "src/exception_handling/pure_virtual.cpp"
)

#[============================================================================[
# The Bootable ISO Image
#]============================================================================]

find_package("grub-mkrescue")

if(grub-mkrescue_FOUND)
  file(GENERATE
    OUTPUT "isofs/boot/grub/grub.cfg"
    INPUT "support/grub.cfg.in"
  )

  add_custom_target("bootable-iso"
    COMMAND "${GRUB_MKRESCUE_EXE}"
    "-o"
    "${PROJECT_BINARY_DIR}/teachos-$<CONFIGURATION>.iso"
    "${CMAKE_CURRENT_BINARY_DIR}/isofs"
    "$<TARGET_FILE:teachos::kernel>"
    "2>/dev/null"
    DEPENDS
    "$<TARGET_FILE:teachos::kernel>"
    "isofs/boot/grub/grub.cfg"
    BYPRODUCTS "${PROJECT_BINARY_DIR}/teachos-$<CONFIGURATION>.iso"
    COMMENT "Creating bootable ISO image"
  )
endif()