* Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
* Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
* Copyright (c) 2004, Iulian Neamtiu <neamtiu@cs.umd.edu>
- * $Revision: 1.36 $
+ * $Revision: 1.39 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
#include <geekos/vmm_stubs.h>
+#include <geekos/pci.h>
#define SPEAKER_PORT 0x61
+void Spin()
+{
+ // hack - competing thread
+ while (1) {};
+
+}
+
void Buzz(unsigned delay, unsigned num)
{
Init_Keyboard();
Init_VM(bootInfo);
Init_Paging();
+
+ Init_PCI();
+
Init_Stubs();
// Init_IDE();
*/
#endif
+
+#if 1
+ struct Kernel_Thread *spin_thread;
+
+ spin_thread=Start_Kernel_Thread(Spin,0,PRIORITY_NORMAL,false);
+
+#endif
+
#if 0
{
}
-
+ SerialPrint("RunVMM returned, spinning\n");
+ while (1) {}
TODO("Write a Virtual Machine Monitor");