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: d0be182)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Apr 2008 20:17:36 +0000 (20:17 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Apr 2008 20:17:36 +0000 (20:17 +0000)
commit1ca13097c7c85318c400c3811ccbb54ac6c619f1
treedf707d641ea5f650a73e06994f025f40d59a0aabtree | snapshot
parentd0be182a2424036db4bc179bc512ea7e5b0bd62fcommit | diff
*** empty log message ***
palacios/include/palacios/vmm_dev.h [new file with mode: 0644] blob
palacios/include/palacios/vmm_intr.h diff | blob | history
palacios/src/geekos/vm.c diff | blob | history
palacios/src/palacios/svm_handler.c diff | blob | history
palacios/src/palacios/vmm_intr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project