#include "arch/user/main.hpp"

#include "arch/context_switching/syscall/main.hpp"

// TODO: Disallow this import
#include "arch/video/vga/text.hpp"

namespace teachos::arch::user
{
  [[gnu::section(".user_text")]]
  auto main() -> void
  {
    char constexpr syscall_message[] = "Successfully entered user mode and wrote to VGA buffer via syscall!";
    auto const error = context_switching::syscall::syscall(context_switching::syscall::type::WRITE,
                                                           {reinterpret_cast<uint64_t>(&syscall_message)});

    if (!error)
    {
      video::vga::text::write("Successfully made a SYSCALL and returned with SYSRETQ!",
                              video::vga::text::common_attributes::green_on_black);
    }
  }
}  // namespace teachos::arch::user