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.


working on x86 instruction decoding support
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Apr 2008 22:55:04 +0000 (22:55 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Apr 2008 22:55:04 +0000 (22:55 +0000)
commit959ed075fac59969a8dc299e51824166f50bb2d0
tree66fdcfea6f923031f67171ea2873d8a330c0461a
parent8cb3daaded0d8c80be801aa74493006b5a06999f
working on x86 instruction decoding support
13 files changed:
palacios/include/geekos/svm_ctrl_regs.h
palacios/include/geekos/vm_guest.h
palacios/include/geekos/vm_guest_mem.h
palacios/include/geekos/vmm_emulate.h
palacios/include/geekos/vmm_paging.h
palacios/include/geekos/vmm_shadow_paging.h
palacios/src/geekos/main.c
palacios/src/geekos/svm.c
palacios/src/geekos/svm_ctrl_regs.c
palacios/src/geekos/svm_handler.c
palacios/src/geekos/svm_lowlevel.asm
palacios/src/geekos/vm_guest_mem.c
palacios/src/geekos/vmm_shadow_paging.c