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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Jul 2008 19:04:05 +0000 (19:04 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Jul 2008 19:04:05 +0000 (19:04 +0000)
commitd4073a9dbe24ae160b8d6bd8fd5fd4ad8aa995a3
tree0318282f3b25a5ed094cf4c9daa5017861763e99
parent08a79dd2e3c75109539bdce50c049303b1fb0912
*** empty log message ***
12 files changed:
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/devices/nvram.c
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_lowlevel.asm
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_lowlevel.asm
palacios/src/palacios/vmm_shadow_paging.c