From fbc736463f2ca2f5dbf1b7c412f408245e61df97 Mon Sep 17 00:00:00 2001
From: aqua <aqua@iserlohn-fortress.net>
Date: Sun, 12 Mar 2023 18:39:39 +0200
Subject: Revert VGA C driver

---
 src/kernel.c   | 57 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 src/kernel.cpp | 59 ----------------------------------------------------------
 2 files changed, 57 insertions(+), 59 deletions(-)
 create mode 100644 src/kernel.c
 delete mode 100644 src/kernel.cpp

(limited to 'src')

diff --git a/src/kernel.c b/src/kernel.c
new file mode 100644
index 0000000..3ee231e
--- /dev/null
+++ b/src/kernel.c
@@ -0,0 +1,57 @@
+//=====================================================================
+// glitch kernel
+// spdx-license-identifier: ISC
+// description: kernel entry point
+//=====================================================================
+
+#include "conf.h"
+#include "mem.h"
+#include <keyboard.h>
+#include <mouse.h>
+#include <pic.h>
+#include <ps2_controller.h>
+#include <stdio.h>
+#include <sys/cpuid.h>
+#include <uart.h>
+#include <vga.h>
+
+FILE *stdin;
+FILE *stdout;
+FILE *stderr;
+
+void
+kmain()
+{
+  stderr = uart_init(COM1);
+  vmm_map(0xb8000, 0xc03ff000);
+  stdout = vga_init((void *)0xc03ff000);
+
+  printf("glitch [version " VERSION "] [" CC "]\n");
+  fprintf(stderr, "glitch [version " VERSION "] [" CC "]\n");
+  {
+    char vendor[13] = {'\0'};
+    unsigned int eax;
+    __get_cpuid(0, &eax, (unsigned int *)vendor, (unsigned int *)(vendor + 8), (unsigned int *)(vendor + 4));
+    struct CPUVersion v;
+    __get_cpuid(1, (unsigned int *)&v, &eax, &eax, &eax);
+    printf("CPU: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
+    fprintf(stderr, "CPU: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
+  }
+
+  pic_init();
+
+  ps2_ctrl_init();
+  ps2_keyboard_init();
+  mouse_init();
+
+  pic_enable();
+  fprintf(stderr, "interrupts enabled\n");
+
+  /*
+    alloc4M();
+    char *c = (char *)0xc0700000;
+    if (*c == 0) printf("c is 0\r\n");
+  */
+
+  while (1) {}
+}
diff --git a/src/kernel.cpp b/src/kernel.cpp
deleted file mode 100644
index 063fe11..0000000
--- a/src/kernel.cpp
+++ /dev/null
@@ -1,59 +0,0 @@
-//=====================================================================
-// glitch kernel
-// spdx-license-identifier: ISC
-// description: kernel entry point
-//=====================================================================
-
-extern "C" {
-#include "conf.h"
-#include "mem.h"
-#include <keyboard.h>
-#include <mouse.h>
-#include <pic.h>
-#include <ps2_controller.h>
-#include <stdio.h>
-#include <sys/cpuid.h>
-}
-#include <uart.hpp>
-#include <vga.hpp>
-
-FILE *stdin;
-FILE *stdout;
-FILE *stderr;
-
-extern "C" void
-kmain()
-{
-  stderr = uart_init<COM1>();
-  vmm_map(0xb8000, 0xc03ff000);
-  stdout = vga_init((void *)0xc03ff000);
-
-  printf("glitch [version " VERSION "] [" CC "]\n");
-  fprintf(stderr, "glitch [version " VERSION "] [" CC "]\n");
-  {
-    char vendor[13] = {'\0'};
-    unsigned int eax;
-    __get_cpuid(0, &eax, (unsigned int *)vendor, (unsigned int *)(vendor + 8), (unsigned int *)(vendor + 4));
-    struct CPUVersion v;
-    __get_cpuid(1, (unsigned int *)&v, &eax, &eax, &eax);
-    printf("CPU: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
-    fprintf(stderr, "CPU: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
-  }
-
-  pic_init();
-
-  ps2_ctrl_init();
-  ps2_keyboard_init();
-  mouse_init();
-
-  pic_enable();
-  fprintf(stderr, "interrupts enabled\n");
-
-  /*
-    alloc4M();
-    char *c = (char *)0xc0700000;
-    if (*c == 0) printf("c is 0\r\n");
-  */
-
-  while (1) {}
-}
-- 
cgit v1.2.1