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.


Additional VMX support. Bootstrapping code added.
authorAndy Gogke <agocke@gmail.com>
Wed, 15 Jul 2009 21:32:15 +0000 (16:32 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Jul 2009 21:32:15 +0000 (16:32 -0500)
commitf8b365257743be47363da720f0261f5ed6441c57
tree0388f9f29574391950589cb7059e1a1bc4da1df1
parent2de2dfce9b3673735569403294b0fb2a01884a8a
Additional VMX support. Bootstrapping code added.
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_lowlevel.h
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_lowlevel.asm