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>
Wed, 26 Mar 2008 20:15:58 +0000 (20:15 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 26 Mar 2008 20:15:58 +0000 (20:15 +0000)
commitebf600fd1dc3b43e8100be168452c6e03b8a2dda
tree93837786d571c5c280ea947bab064881c66b64b5
parent271ad3fd89672d441db3c5ffa673ee649e4ce532
*** empty log message ***
15 files changed:
palacios/build/vm_kernel
palacios/include/geekos/svm_handler.h
palacios/include/geekos/vm_guest.h
palacios/include/geekos/vmcb.h
palacios/include/geekos/vmm.h
palacios/include/geekos/vmm_mem.h
palacios/include/geekos/vmm_paging.h
palacios/include/geekos/vmm_stubs.h
palacios/src/geekos/main.c
palacios/src/geekos/svm.c
palacios/src/geekos/svm_handler.c
palacios/src/geekos/vmcb.c
palacios/src/geekos/vmm_mem.c
palacios/src/geekos/vmm_paging.c
palacios/src/geekos/vmm_stubs.c