#include <geekos/crc32.h>
#include <geekos/tss.h>
#include <geekos/int.h>
-#include <geekos/kthread.h>
+#include <geekos/kthread.h>
#include <geekos/trap.h>
#include <geekos/timer.h>
#include <geekos/keyboard.h>
{
struct Kernel_Thread * key_thread;
struct Kernel_Thread * spkr_thread;
-
-
-
ulong_t doIBuzz = 0;
Init_BSS();
+ Init_VMCons();
Init_Screen();
InitSerial();
-
- Init_VMCons();
+ Print("Initializing Memory\n");
Init_Mem(bootInfo);
+ Print("Memory Done\n");
Init_CRC32();
Init_TSS();
Init_Interrupts();
-
-
-
-
PrintBoth("\n\nHello, Welcome to this horrid output-only serial interface\n");
PrintBoth("Eventually, this will let us control the VMM\n\n");
// Invalidate_PG((void *)0x2000);
-
+
// VM_Test(bootInfo, 32);
//VM_Test(bootInfo, 1536);
}