kernel: x86_64: rename x86

Rename the x86 arch-specific directory to x86_64, reflecting clang's
architecture selector flags.

Signed-off-by: Danny Holman <dholman@gymli.org>

1 files changed, 22 insertions, 5 deletions

diff --git a/kernel/libk/io.c b/kernel/core/kprintf.c
index eedc171..c12a01f 100644
--- a/kernel/libk/io.c
+++ b/kernel/core/kprintf.c
@@ -1,7 +1,25 @@
-#include <libk/io.h>
-#include <libk/string.h>
-#include <kernel/video/framebuffer.h>
-#include <kernel/tty/tty_vga.h>
+/*
+ * Copyright (C) 2025 Danny Holman <dholman@gymli.org>
+ *
+ * This file is part of BoxOS, a free and open-source Unix-like operating
+ * system.
+ *
+ * BoxOS is free software; you can redistribute it and/or modify under the
+ * terms of the GNU General Public License as published by the Free Software
+ * Foundation; either version 2 of the License, or (at your option) any later
+ * version.
+ *
+ * BoxOS is distributed in the hope it will be useful, but WITHOUT ANY WARRANTY;
+ * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
+ * PARTICULAR PURPOSE. See the GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * BoxOS; if not, see <https://www.gnu.org/licenses/>.
+ */
+
+#include <sys/kprintf.h>
+#include <sys/serial.h>
+#include <string.h>
 
 char* convert(unsigned int num, int base) {
         static char rep[] = "0123456789ABCDEF";
@@ -61,7 +79,6 @@ int vkprintf(const char *fmt, va_list args) {
                 }
         }
         //tty_write(buffer, strlen(buffer));
-        fb_write(buffer, strlen(buffer));
         memset(buffer, 0, 4096);
         return 0;
 }