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>
Fri, 7 Mar 2008 20:25:40 +0000 (20:25 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 7 Mar 2008 20:25:40 +0000 (20:25 +0000)
commit4939ecae04ce6416f404670640620a23aee9b914
tree853eba6d9edce309765555f2b690c750939f87be
parent190b2ef9470c23c275754b74745933d973f8c439
*** empty log message ***
17 files changed:
palacios/build/Makefile
palacios/include/geekos/svm.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_util.h
palacios/src/geekos/int.c
palacios/src/geekos/lowlevel.asm
palacios/src/geekos/main.c
palacios/src/geekos/mem.c
palacios/src/geekos/svm.c
palacios/src/geekos/vmcs.c
palacios/src/geekos/vmm_mem.c
palacios/src/geekos/vmm_paging.c
palacios/src/geekos/vmm_util.c
palacios/src/geekos/vmx.c