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: f6ef9d3)
initial shadow page cache version
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 20 Oct 2010 19:23:20 +0000 (14:23 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 20 Oct 2010 19:23:20 +0000 (14:23 -0500)
commitc8a303c8512c0dafcb8dd5f83e6682729165d547
tree16387f7b23fc505985bb374c59b7868b1047bdfftree | snapshot
parentf6ef9d30c8e856f1588d1af55a6d052f266a31b7commit | diff
initial shadow page cache version
Kconfig diff | blob | history
palacios/src/palacios/mmu/Makefile diff | blob | history
palacios/src/palacios/mmu/vmm_shdw_pg_cache.c [new file with mode: 0644] blob
palacios/src/palacios/mmu/vmm_shdw_pg_cache_32.h [new file with mode: 0644] blob
palacios/src/palacios/mmu/vmm_shdw_pg_swapbypass.c diff | blob | history
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project