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.


something that sort of works more than it did previously....
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 16 Apr 2008 06:07:07 +0000 (06:07 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 16 Apr 2008 06:07:07 +0000 (06:07 +0000)
commitace8f0532fa5650c6642a3a7174f3aa19b09095a
tree716f5983dbf9173779b9d9fbcf395c2648f467a1
parentdf58bd3c484a52b1e166dc28e7b9b6fd94e5a023
something that sort of works more than it did previously....
palacios/include/geekos/vmm_stubs.h
palacios/src/devices/nvram.c
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/svm_lowlevel.asm