X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config_class.h;h=95de131ff6602221f894c0f39c6148663051e49b;hb=4e43946f01f687361197dc9571b7df02ae20de30;hp=36fee9b526f85723597f4b2061819b32e9f7f470;hpb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;p=palacios.git diff --git a/palacios/src/palacios/vmm_config_class.h b/palacios/src/palacios/vmm_config_class.h index 36fee9b..95de131 100644 --- a/palacios/src/palacios/vmm_config_class.h +++ b/palacios/src/palacios/vmm_config_class.h @@ -17,11 +17,10 @@ * redistribute, and modify it as specified in the file "V3VEE_LICENSE". */ +#include -static int post_config_pc(struct guest_info * info, struct v3_config * config_ptr) { +static int pre_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) { - - info->cpu_mode = REAL; info->mem_mode = PHYSICAL_MEM; @@ -34,30 +33,17 @@ static int post_config_pc(struct guest_info * info, struct v3_config * config_pt info->vm_regs.rcx = 0; info->vm_regs.rax = 0; + return 0; +} -#define VGABIOS_START 0x000c0000 -#define ROMBIOS_START 0x000f0000 - - /* layout vgabios */ - { - extern uint8_t v3_vgabios_start[]; - extern uint8_t v3_vgabios_end[]; - - addr_t vgabios_dst = v3_get_shadow_addr(&(info->mem_map.base_region), VGABIOS_START); - memcpy(V3_VAddr((void *)vgabios_dst), v3_vgabios_start, v3_vgabios_end - v3_vgabios_start); - } - - /* layout rombios */ - { - extern uint8_t v3_rombios_start[]; - extern uint8_t v3_rombios_end[]; - - addr_t rombios_dst = v3_get_shadow_addr(&(info->mem_map.base_region), ROMBIOS_START); - memcpy(V3_VAddr((void *)rombios_dst), v3_rombios_start, v3_rombios_end - v3_rombios_start); - } - - v3_print_mem_map(info); +static int post_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) { + v3_print_mem_map(info->vm_info); return 0; } +static int post_config_pc(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) +{ + return v3_setup_bioses(vm,cfg); +} +