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: 15d029a)
Fixed a truly stupid mistake....
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 15:27:08 +0000 (10:27 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 15:27:08 +0000 (10:27 -0500)
commit1c726cc08a6614a502bfbfa31abd4a0e098ae78b
treecf5770f52c30745ca095c3a70bf16a2a8fab385ftree | snapshot
parent15d029a29d7891dc3df00c16f0c1096080ce297fcommit | diff
Fixed a truly stupid mistake....
palacios/include/palacios/vm_guest.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project