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.


Minor cleanups on shadow paging build/debug
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 18 Feb 2014 01:18:57 +0000 (19:18 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 18 Feb 2014 01:18:57 +0000 (19:18 -0600)
commit668be595282778551b3bafd0d524398b29de67d5
tree475abc2d248826f2b7ccf54a15b195214c3b9f73
parent444896a3622e7918f81ccc7c0ac17edf90a6f7b9
Minor cleanups on shadow paging build/debug
Kconfig
palacios/src/palacios/mmu/Makefile
palacios/src/palacios/mmu/vmm_shdw_pg_cache.c
palacios/src/palacios/mmu/vmm_shdw_pg_cache_32.h