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.


reworked the hash table implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 Aug 2008 21:44:04 +0000 (21:44 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 Aug 2008 21:44:04 +0000 (21:44 +0000)
commitf84bd0ca67af7c0a1143d5e279e0af408729128e
treebdaf48c7a85b7c1c21d1e222868940d1848a10f7
parent9499a207c37ebd0eac1e9f62b4600c448101d7b0
reworked the hash table implementation
added simple shadow page table caching
palacios/include/palacios/vmm_hashtable.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_hashtable.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c