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: 0754a27)
Fixed bug with VMX interrupt injection
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 4 Jan 2010 20:37:42 +0000 (14:37 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 4 Jan 2010 20:37:42 +0000 (14:37 -0600)
commit4bdba551de0969275a9b3ea6db8d99c6c25548a3
tree390044d663ff5979d3bd6b96bc0842b8df5f5902tree | snapshot
parent0754a27c2cd44d5acc0bd6ff435350ed4139e13ccommit | diff
Fixed bug with VMX interrupt injection
added an exit log for debugging
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project