#include "arch/exception_handling/panic.hpp"

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

namespace teachos::arch::exception_handling
{
  extern "C" char const message_prefix_panic[];

  auto panic(char const * reason) -> void { panic(message_prefix_panic, reason); }

  auto panic(char const * prefix, char const * reason) -> void
  {
    using video::vga::text::common_attributes::white_on_red;

    video::vga::text::newline();
    video::vga::text::write(prefix, white_on_red);
    video::vga::text::write(reason, white_on_red);

    kernel::halt();
  };
}  // namespace teachos::arch::exception_handling