#include "arch/kernel/main.hpp"

#include "arch/boot/multiboot.hpp"
#include "arch/boot/pointers.hpp"
#include "arch/video/vga/text.hpp"

namespace teachos::arch::kernel
{
  auto main() -> void
  {
    using namespace video::vga;

    auto t = arch::boot::multiboot_information_pointer;
    // auto multiboot_tag = (struct multiboot_tag *) ((uint8_t) t + 8);
    // for (auto tag = multiboot_tag; tag->type != )

    if (t == 300)
    {
    }

    text::clear();
    text::cursor(false);
    text::write("TeachOS is starting up...", text::common_attributes::green_on_black);
  }
}  // namespace teachos::arch::kernel