Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Fix xed build error
Kevin Pedretti [Fri, 4 Apr 2014 21:49:37 +0000 (15:49 -0600)]
palacios/src/palacios/vmm_xed.c

index d5984fd..1b783f0 100644 (file)
@@ -1097,7 +1097,7 @@ static int xed_reg_to_v3_reg(struct guest_info * info, xed_reg_enum_t xed_reg,
            *reg_len = 4;
            return CTRL_REGISTER;
        case XED_REG_CR8:
-           *v3_reg = (addr_t)&(info->ctrl_regs.cr8);
+           *v3_reg = (addr_t)&(info->ctrl_regs.apic_tpr);
            *reg_len = 4;
            return CTRL_REGISTER;