X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=5e0defc3558cc5c8bc29edee698002ea0349defb;hb=623de2de1c4a31c29975867343b7a78962094fee;hp=2a93ce17a94684234b6e5f164de92e6687d25384;hpb=2bfd0e9c8aa5d520e4207fd6cf50a5f50993e3ca;p=palacios-OLD.git diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c index 2a93ce1..5e0defc 100644 --- a/palacios/src/palacios/vmm_config.c +++ b/palacios/src/palacios/vmm_config.c @@ -24,6 +24,8 @@ #include #include #include +#include + #include #include @@ -34,6 +36,9 @@ #include #include #include +#include +#include +#include @@ -78,9 +83,12 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr) v3_init_host_events(info); v3_init_decoder(info); - + v3_init_shadow_map(info); + v3_init_hypercall_map(info); + + if (v3_cpu_type == V3_SVM_REV3_CPU) { info->shdw_pg_mode = NESTED_PAGING; } else { @@ -195,7 +203,7 @@ static int setup_memory_map(struct guest_info * info, struct v3_vm_config * conf v3_add_shadow_mem(info, 0x1000000, 0x8000000, (addr_t)V3_AllocPages(32768)); // test - give linux accesss to PCI space - PAD - v3_add_shadow_mem(info, 0xc0000000,0xffffffff,0xc0000000); + //v3_add_shadow_mem(info, 0xc0000000,0xffffffff,0xc0000000); print_shadow_map(info); @@ -214,6 +222,9 @@ static int setup_devices(struct guest_info * info, struct v3_vm_config * config_ struct vm_device * keyboard = v3_create_keyboard(); struct vm_device * pit = v3_create_pit(); struct vm_device * bochs_debug = v3_create_bochs_debug(); + struct vm_device * os_debug = v3_create_os_debug(); + struct vm_device * apic = v3_create_apic(); + struct vm_device * ioapic = v3_create_io_apic(apic); //struct vm_device * serial = v3_create_serial(); struct vm_device * generic = NULL; @@ -241,6 +252,10 @@ static int setup_devices(struct guest_info * info, struct v3_vm_config * config_ v3_attach_device(info, keyboard); // v3_attach_device(info, serial); v3_attach_device(info, bochs_debug); + v3_attach_device(info, os_debug); + + v3_attach_device(info, apic); + v3_attach_device(info, ioapic); if (use_ramdisk) { v3_attach_device(info, ramdisk);