#include "arch/kernel/main.hpp"

#include "arch/video/vga/text.hpp"

#include "stdio.h"

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

    text::clear();
    text::cursor(false);
    text::write("TeachOS is starting up...", text::common_attributes::green_on_black);
    char address[32U] = {};
    snprintf(address, sizeof(address), "Multiboot address: (%lu)", multiboot_information_address);
    text::write(address, text::common_attributes::green_on_black);
  }
}  // namespace teachos::arch::kernel