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.


changed VMCB to enter long paged real mode(?) if it exists.
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 22:11:19 +0000 (17:11 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 22:11:19 +0000 (17:11 -0500)
commit0c1919011d9ce503de86b4f9f334cbddda1be182
tree278254ab3c5a99f92e8a5bec5e1a92ecb4de2db1
parent8f73ff87ab96b79b87854a2135c16b81cff879a3
changed VMCB to enter long paged real mode(?) if it exists.
palacios/src/palacios/svm.c