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, 11 Apr 2008 19:12:50 +0000 (19:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Apr 2008 19:12:50 +0000 (19:12 +0000)
commitd0be182a2424036db4bc179bc512ea7e5b0bd62f
tree1ffbb3eb31c15ed55ef2d0a5117cac56218d4cb1
parentfc90c3287f85c66e1f6616685b66a8339145c3ee
*** empty log message ***
palacios/build/payload_layout.txt
palacios/build/rombios
palacios/build/vm_kernel
palacios/include/palacios/vmcb.h
palacios/src/geekos/vm.c
palacios/src/palacios/vmcb.c
palacios/src/vmboot/rombios/rombios.c