#include "arch/kernel/main.hpp"

#include "arch/memory/heap/bump_allocator.hpp"
#include "arch/memory/heap/concept.hpp"
#include "arch/memory/main.hpp"
#include "arch/memory/multiboot/reader.hpp"
#include "arch/video/vga/text.hpp"

namespace teachos::arch::kernel
{
  auto main() -> void
  {
    video::vga::text::clear();
    video::vga::text::cursor(false);
    video::vga::text::write("TeachOS is starting up...", video::vga::text::common_attributes::green_on_black);

    memory::initialize_memory_management();

    memory::heap::bump_allocator heap_allocator{memory::heap::HEAP_START,
                                                memory::heap::HEAP_START + memory::heap::HEAP_SIZE};
    auto test = heap_allocator.allocate(1024);

    auto test2 = new (test) memory::multiboot::memory_information{};

    if (test || test2)
    {
      video::vga::text::write("Kernel remapping successfull", video::vga::text::common_attributes::green_on_black);
    }

    // TODO: Why is identity mapping multiboot2 information structure with new kernel not required and
    // allocator.allocate_frame still works?
    // TODO: Fix unmapping old level 4 page table and turn it into guard page, use Stack Probes for stack allocation if
    // possible.
  }
}  // namespace teachos::arch::kernel