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-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: ed7cae6)
added null section place holder for extensions
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 2 Sep 2011 17:20:19 +0000 (13:20 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 2 Sep 2011 17:20:19 +0000 (13:20 -0400)
commitc1e5fa51e4f5b7055c677e2f9d5bc9808a32b351
tree5271673cd42f62a80391e0e9026fc2722573272ctree | snapshot
parented7cae62acb31ddd833c7efb0f6cda1b4915e7cbcommit | diff
added null section place holder for extensions
palacios/src/palacios/vmm_extensions.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes