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 svm files
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 Feb 2008 21:38:00 +0000 (21:38 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 Feb 2008 21:38:00 +0000 (21:38 +0000)
commit4d691866d964c028d2b2ca96c2d16489d45dd2b5
treeaff5e0c7e8dfb6d5715e3b3fa132f3e38e29a1b0
parent4c3756d6082cb1bff38969f911c4f3b724b1af44
added svm files
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/geekos/svm.h [new file with mode: 0644]
palacios/include/geekos/vmcb.h [new file with mode: 0644]
palacios/include/geekos/vmx.h
palacios/src/geekos/main.c
palacios/src/geekos/svm.c [new file with mode: 0644]
palacios/src/geekos/svm_lowlevel.asm [new file with mode: 0644]
palacios/src/geekos/vmx.c