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.


Allow custom CPUID
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 26 Nov 2013 01:32:00 +0000 (19:32 -0600)
committerroot <root@v-test-r415-3.localdomain>
Tue, 26 Nov 2013 01:46:03 +0000 (19:46 -0600)
commitfc031944334dfed8c0b025423e2f0b3ed462fad1
tree566d2ce75775fd3c002ed87bfb695f0d69fd1fff
parentf97c2c116e958d0e87e7303fc1d00fdf0b148893
Allow custom CPUID

- when enabled, guest sees a strictly controlled cpuid result
  with a "V3VEE" cpu vendor, etc.  This is intended to help with
  cross-architecture migrations where we want to prevent the
  the guest from doing anything specific to the eratta of the
  startup CPU.
- when disabled, guest sees former behavior (cpuid of host
  masked for functionality we cannot support)
palacios/src/palacios/vmm_cpuid.c