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: 11ae9bb)
minor build fixes for i386
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Aug 2009 23:46:33 +0000 (18:46 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Aug 2009 23:46:33 +0000 (18:46 -0500)
commit696946489be862ccd0399804557971879bec120d
tree7aef87eb8343ad05b0d399bf0c8d93be8f01e420tree | snapshot
parent11ae9bb2d18273267d41059a4bd7fb3c28c42abccommit | diff
minor build fixes for i386
Makefile.i386 diff | blob | history
Makefile.x86_64 diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project