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.


more work on the memory system
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 31 Mar 2008 21:29:08 +0000 (21:29 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 31 Mar 2008 21:29:08 +0000 (21:29 +0000)
commit7acd54f8c3b30d118d56186a9c6506f21f85096d
treedfddc1298231960b3b6fa6c7801f9982e04b8fd1
parentf00afb80e44756d6f29f9b61fcc082d776adc6a5
more work on the memory system
14 files changed:
palacios/include/geekos/svm_ctrl_regs.h [new file with mode: 0644]
palacios/include/geekos/vm_guest.h
palacios/include/geekos/vm_guest_mem.h [new file with mode: 0644]
palacios/include/geekos/vmm_emulate.h [new file with mode: 0644]
palacios/include/geekos/vmm_mem.h
palacios/include/geekos/vmm_paging.h
palacios/include/geekos/vmm_shadow_paging.h [new file with mode: 0644]
palacios/src/geekos/main.c
palacios/src/geekos/svm_ctrl_regs.c [new file with mode: 0644]
palacios/src/geekos/svm_handler.c
palacios/src/geekos/vm_guest_mem.c [new file with mode: 0644]
palacios/src/geekos/vmm_mem.c
palacios/src/geekos/vmm_paging.c
palacios/src/geekos/vmm_shadow_paging.c [new file with mode: 0644]