3 files changed, 35 insertions, 0 deletions
diff --git a/source/arch/x86_64/include/arch/boot/pointers.hpp b/source/arch/x86_64/include/arch/boot/pointers.hpp
new file mode 100644
index 0000000..052b115
--- /dev/null
+++ b/source/arch/x86_64/include/arch/boot/pointers.hpp
@@ -0,0 +1,12 @@
+#ifndef TEACHOS_ARCH_X86_64_BOOT_POINTERS_HPP
+#define TEACHOS_ARCH_X86_64_BOOT_POINTERS_HPP
+
+#include <cstddef>
+
+namespace teachos::arch::boot
+{
+  extern "C" std::byte const multiboot_information_pointer;
+  extern "C" std::byte * vga_buffer_pointer;
+}  // namespace teachos::arch::boot
+
+#endif
+\ No newline at end of file
diff --git a/source/arch/x86_64/include/arch/kernel/main.hpp b/source/arch/x86_64/include/arch/kernel/main.hpp
new file mode 100644
index 0000000..6961594
--- /dev/null
+++ b/source/arch/x86_64/include/arch/kernel/main.hpp
@@ -0,0 +1,11 @@
+#ifndef TEACHOS_ARCH_X86_64_KERNEL_MAIN_HPP
+#define TEACHOS_ARCH_X86_64_KERNEL_MAIN_HPP
+
+#include <cstddef>
+
+namespace teachos::arch::kernel
+{
+  auto main() -> void;
+}
+
+#endif
+\ No newline at end of file
diff --git a/source/arch/x86_64/include/arch/video/vga/text.hpp b/source/arch/x86_64/include/arch/video/vga/text.hpp
new file mode 100644
index 0000000..04b74d1
--- /dev/null
+++ b/source/arch/x86_64/include/arch/video/vga/text.hpp
@@ -0,0 +1,12 @@
+#ifndef TEACHOS_ARCH_X86_64_VIDEO_VGA_TEXT_HPP
+#define TEACHOS_ARCH_X86_64_VIDEO_VGA_TEXT_HPP
+
+#include <cstddef>
+#include <string_view>
+
+namespace teachos::arch::video::vga::text
+{
+  auto write(std::string_view text, std::byte color) -> void;
+}
+
+#endif
+\ No newline at end of file