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: 8c06d37)
fixed bug in detecting guest cpu mode for nested paging
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Mar 2009 23:04:48 +0000 (18:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Mar 2009 23:04:48 +0000 (18:04 -0500)
commite31890ea7a0f024ab8d0e8bf1f8446d4c714ef61
tree8c1bb87fe09340764b8f66a4a4ea54d44d17d2c0tree | snapshot
parent8c06d37e4eb0083519402c0188210a3f0f3538d1commit | diff
fixed bug in detecting guest cpu mode for nested paging
palacios/src/palacios/vm_guest.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project