#include "kapi/cio.hpp"

#include "x86_64/vga/text.hpp"

namespace teachos::cio
{

  auto static constinit vga_device = std::optional<x86_64::vga::text::device>{};

  auto init() -> void
  {
    vga_device.emplace();
    set_output_device(*vga_device);
  }

}  // namespace teachos::cio