#include "arch/kernel/main.hpp"

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

namespace teachos::arch::kernel
{
  auto main() -> void
  {
    video::vga::text::write("TeachOS is starting up...", static_cast<std::byte>(0x4f));
    while (true)
    {
      asm volatile("hlt");
    }
  }
}  // namespace teachos::arch::kernel