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.


HVM enhancements
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 18 Jun 2015 22:10:56 +0000 (17:10 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 18 Jun 2015 22:10:56 +0000 (17:10 -0500)
commitaeb2b4bea5822761eebe0c9f4d2bef40324354c7
tree3812dd130d5154f47f360a131829d85108013bef
parentab1cd65da26f4b2cbc3c4d9625546561bf96461f
HVM enhancements

- more integration with multiboot
- init scratch stacks for HRT cores
- reset capability
palacios/include/palacios/vmm_hvm.h
palacios/src/palacios/vmm_hvm.c