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.


added emulator
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 3 Aug 2008 01:21:43 +0000 (01:21 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 3 Aug 2008 01:21:43 +0000 (01:21 +0000)
commitbf0d677f3d92f5949c3a73dad30aaf330201da44
tree9a41ea75452d17d75841d3ee65b2962a7c29390a
parenta5c5675571882a9b8a7594ef07fe303b195ef9ae
added emulator
12 files changed:
palacios/include/palacios/vmm_emulator.h [new file with mode: 0644]
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/devices/generic.c
palacios/src/geekos/trap.c
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_emulator.c [new file with mode: 0644]
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging.c