entry.cpp « src « x86_64 « arch « kernel « source - pub/fmorgner/teachos.git - The TeachOS kernel, a greenfield, pure 64-bit, educational operating system.

about summary refs log tree commit diff

path: root/source/kernel/arch/x86_64/src/entry.cpp

blob: fd9d9d09c2a3372a91bc8250e2483219848d7f53 (plain)

#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