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: 828663c)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 29 Feb 2008 19:25:24 +0000 (19:25 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 29 Feb 2008 19:25:24 +0000 (19:25 +0000)
commitff58148c2cfbbc82405dc9ec25056cc93c773083
tree8f5bba6020dde4b18565de2705eef101fde1a533tree | snapshot
parent828663cb96cc49aaf75ac091f191daac2733003ecommit | diff
*** empty log message ***
palacios/build/Makefile diff | blob | history
palacios/include/geekos/svm.h diff | blob | history
palacios/include/geekos/vmcb.h diff | blob | history
palacios/include/geekos/vmm.h diff | blob | history
palacios/include/geekos/vmm_stubs.h [new file with mode: 0644] blob
palacios/include/geekos/vmm_util.h diff | blob | history
palacios/src/geekos/main.c diff | blob | history
palacios/src/geekos/svm.c diff | blob | history
palacios/src/geekos/vmm_stubs.c [new file with mode: 0644] blob
palacios/src/geekos/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project