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.


bug fixes for:
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 7 Feb 2009 01:11:04 +0000 (19:11 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 7 Feb 2009 01:11:04 +0000 (19:11 -0600)
commitaf10c7cdec94c879b207983a60581feae911546b
treeb00cc907c1260b48b5c3fa47796d1ca8e8d5637f
parent991d1ff1f3969d63fd64fd82ee877bcf30ce34ef
bug fixes for:
xed decoder
passthrough paging
emulator

added apic memory hooks
palacios/include/palacios/vmm_direct_paging.h
palacios/src/devices/apic.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_xed.c