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: c6d28a5)
Minor tweak to fix handling of extensions without initializers
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 7 Sep 2015 16:29:20 +0000 (11:29 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 7 Sep 2015 16:29:20 +0000 (11:29 -0500)
commite2a6eba59e9be18cbf5095df4da4d716cf1cf141
tree48a33c3c235adf4cfa40794ca0b1eaba25fe4521tree | snapshot
parentc6d28a5255ee5d1995865fc615bbe2481b19996dcommit | diff
Minor tweak to fix handling of extensions without initializers
palacios/src/palacios/vmm_extensions.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project