1 files changed, 0 insertions, 57 deletions
diff --git a/src/kernel.c b/src/kernel.c
deleted file mode 100644
index 98269c1..0000000
--- a/src/kernel.c
+++ /dev/null
@@ -1,57 +0,0 @@
-/* *** 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(void)
-{
-  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");
-  {
-    struct CPUVersion v;
-
-    char vendor[13] = {'\0'};
-    unsigned int eax;
-    __get_cpuid(0, &eax, (unsigned int *)vendor, (unsigned int *)(vendor + 8), (unsigned int *)(vendor + 4));
-    __get_cpuid(1, (unsigned int *)&v, &eax, &eax, &eax);
-    printf("cpuid: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
-    fprintf(stderr, "cpuid: %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) {}
-}