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: 0e6a3e3)
fixed gpa->hpa error checking
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Mar 2009 00:07:06 +0000 (19:07 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Mar 2009 00:07:06 +0000 (19:07 -0500)
commit7f4f21be178cd81b300b0efad8320461ac4efb4b
tree231d1b24f28205c9b9107c46448a18e0c159c3detree | snapshot
parent0e6a3e3539a88b57bf06dea3864cd6fe5078643dcommit | diff
fixed gpa->hpa error checking
palacios/src/palacios/vm_guest_mem.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project