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: 7239646)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 15 May 2008 16:26:45 +0000 (16:26 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 15 May 2008 16:26:45 +0000 (16:26 +0000)
commit1da53ce8f6ab61d298d38cf3f1c4fcd9b1050ce8
tree1e5b1deb3c2e5a358d1c4f5bad8287fbf2c1c966tree | snapshot
parent72396466a6eeb253948862b334a8534ab29313fecommit | diff
*** empty log message ***
palacios/src/devices/8259a.c diff | blob | history
palacios/src/palacios/svm_handler.c diff | blob | history
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project