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.


fix merge
authorKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 17 Jun 2011 19:52:55 +0000 (14:52 -0500)
committerKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 17 Jun 2011 19:52:55 +0000 (14:52 -0500)
commit3db6f4c76bd6412d0154b7693c1516d792486b13
tree4ce5dd07ef96733931654d4b8ee35468e2af7df0
parent840d15c3a300636e758fcfcf403ae415ffa67816
parent8e74871ab6663dad2d47cca41361f9ab146405a0
fix merge
palacios/include/palacios/vmm_instr_decoder.h
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
palacios/src/palacios/svm.c