#include "kernel/vga.hpp"

namespace teachos::kernel
{
  extern "C" auto kernel_main() -> void
  {
    vga::write("TeachOS is starting up...", static_cast<std::byte>(0x4f));
  }
}  // namespace teachos