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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f777ee)
correctly handle NMI exits on VMX architectures
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 24 Sep 2012 20:21:00 +0000 (16:21 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 24 Sep 2012 20:21:00 +0000 (16:21 -0400)
commita7bd09077efcd826376f9c49ab97f9f9a1fbbefe
tree0a2119804b721d5b6b25b3c22488b18c74973dc6tree | snapshot
parent3f777ee2e04c359758b0658b04ff8f076d38f2f9commit | diff
correctly handle NMI exits on VMX architectures
palacios/src/palacios/vmx.c diff | blob | history
palacios/src/palacios/vmx_handler.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project