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: 0e3fe45)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 23:04:54 +0000 (23:04 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 23:04:54 +0000 (23:04 +0000)
commit23ee10c7be0d5c16226b2f703741842248add8e7
tree872b29dde1bbf24b48c5db636e9afac457618752tree | snapshot
parent0e3fe455f4c490dc4c5d9412decf2420b905b3e9commit | diff
*** empty log message ***
palacios/include/palacios/vmm.h diff | blob | history
palacios/src/geekos/vm.c diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project