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.


architecture independence work
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 19:54:08 +0000 (19:54 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 19:54:08 +0000 (19:54 +0000)
commiteb87f60800c8634e37d1f8e71cd8f88605f2a46e
tree0db2918bcbd943f8f8b567bfba14fad07c3fb3c3
parent356f5cc77a2783f2917b994be4cf954891828380
architecture independence work
12 files changed:
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmcb.h
palacios/include/palacios/vmm_ctrl_regs.h
palacios/include/palacios/vmm_emulate.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmcb.c
palacios/src/palacios/vmm_ctrl_regs.c [new file with mode: 0644]
palacios/src/palacios/vmm_shadow_paging.c