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: 4a9377b)
VMCB address space fix for free
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 00:15:47 +0000 (18:15 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 00:15:47 +0000 (18:15 -0600)
commitfe719150440abe776a01faed02a2e40bed8029f9
tree356f496bd780daa849c2ec8d76f90ba0f9d0ae2ftree | snapshot
parent4a9377be280dd8f2c298fd845d63728650a1060fcommit | diff
VMCB address space fix for free
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vm_guest.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project