#include "arch/kernel/main.hpp"

#include "arch/exception_handling/assert.hpp"
#include "arch/memory/allocator/area_frame_allocator.hpp"
#include "arch/memory/multiboot/reader.hpp"
#include "arch/video/vga/text.hpp"

#include <algorithm>

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);

    auto memory_information = memory::multiboot::read_multiboot2();
    memory::allocator::area_frame_allocator allocator(memory_information);

    auto last_allocated = allocator.allocate_frame();
    auto allocated = last_allocated;
    do
    {
      last_allocated = allocated;
      allocated = allocator.allocate_frame();
    } while (allocated);
    video::vga::text::write("Allocated Frames", video::vga::text::common_attributes::green_on_black);
    video::vga::text::write_number(last_allocated.value().frame_number,
                                   video::vga::text::common_attributes::green_on_black);
  }
}  // namespace teachos::arch::kernel