X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config_class.h;h=95de131ff6602221f894c0f39c6148663051e49b;hb=749653dd91e8d012f77c9745421f2b7cd0d3da93;hp=bb337c7e3ede4f97fa3c8ff5fc3ae21049652afe;hpb=14fa18cc54571eaa7aaa0f7d55677bdb4dad81a6;p=palacios.git diff --git a/palacios/src/palacios/vmm_config_class.h b/palacios/src/palacios/vmm_config_class.h index bb337c7..95de131 100644 --- a/palacios/src/palacios/vmm_config_class.h +++ b/palacios/src/palacios/vmm_config_class.h @@ -17,13 +17,10 @@ * redistribute, and modify it as specified in the file "V3VEE_LICENSE". */ -#include - +#include static int pre_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) { - - info->cpu_mode = REAL; info->mem_mode = PHYSICAL_MEM; @@ -45,41 +42,8 @@ static int post_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) { return 0; } -static int post_config_pc(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) { - -#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 = 0; - - if (v3_gpa_to_hpa(&(vm->cores[0]), VGABIOS_START, &vgabios_dst) == -1) { - PrintError("Could not find VGABIOS destination address\n"); - return -1; - } - - 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 = 0; - - if (v3_gpa_to_hpa(&(vm->cores[0]), ROMBIOS_START, &rombios_dst) == -1) { - PrintError("Could not find ROMBIOS destination address\n"); - return -1; - } - - memcpy(V3_VAddr((void *)rombios_dst), v3_rombios_start, - v3_rombios_end - v3_rombios_start); - } - - return 0; +static int post_config_pc(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) +{ + return v3_setup_bioses(vm,cfg); }