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.


updated to use pa_to_va address conversion
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 23:44:50 +0000 (18:44 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 23:44:50 +0000 (18:44 -0500)
commita2b7cc4f2d739213d1edefb85ff941c41c86907b
treedea041e85e3de1987d887a7c9a4306fc5358b4de
parentc0376861301ad7abd8ded058d3445aa986f827c9
updated to use pa_to_va address conversion
now bombs out on first instruction of guest
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_paging.h
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c