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.


started the emulation framework
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 2 Aug 2008 21:42:35 +0000 (21:42 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 2 Aug 2008 21:42:35 +0000 (21:42 +0000)
commita5c5675571882a9b8a7594ef07fe303b195ef9ae
tree835de75da87c0b451564eb69977c7b3a3877e1b4
parent9b78fe7d41b07fd135eae2282cc18ccb964e7de3
started the emulation framework
cleaned up the shadow paging handlers
13 files changed:
misc/decoder_test/vmm_xed.c
palacios/build/Makefile
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_mem.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_decoder.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_xed.c