#include <geekos/serial.h>
#include <geekos/vm.h>
#include <geekos/screen.h>
+#include <palacios/vmm_dev_mgr.h>
+#include <devices/nvram.h>
+#include <devices/timer.h>
#define SPEAKER_PORT 0x61
os_hooks.vaddr_to_paddr = &Identity;
os_hooks.paddr_to_vaddr = &Identity;
-
+
// DumpGDT();
Init_VMM(&os_hooks, &vmm_ops);
vm_info.cpu_mode = REAL;
+ init_irq_map(&(vm_info.irq_map));
init_vmm_io_map(&(vm_info.io_map));
init_interrupt_state(&(vm_info.intr_state));
+ dev_mgr_init(&(vm_info.dev_mgr));
if (0) {
hook_io_port(&(vm_info.io_map), 0x402, &IO_Read, &IO_BOCHS_debug, NULL);
hook_io_port(&(vm_info.io_map), 0x403, &IO_Read, &IO_Write_to_Serial, NULL);
+ {
+ struct vm_device * nvram = create_nvram();
+ struct vm_device * timer = create_timer();
+
+ attach_device(&(vm_info), nvram);
+ //attach_device(&(vm_info), timer);
+
+ PrintDebugDevMgr(&(vm_info.dev_mgr));
+
+
+
+ }
+ PrintDebug("foo\n");
+
+
vm_info.rip = 0xfff0;
vm_info.vm_regs.rsp = 0x0;
}
(vmm_ops).start_guest(&vm_info);
return 0;
-
}