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>
Thu, 17 Jul 2008 00:10:15 +0000 (00:10 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 00:10:15 +0000 (00:10 +0000)
commitfa7a42a55338e5fa49ec760b367225ca752df4fd
treec19becf9518779dd1b4ccdf15139a77a71481fa3
parenta8beefa049ba39cdf1b7f16cc77913a8cf1ff4fe
*** empty log message ***
palacios/build/c.img
palacios/include/palacios/vmm_intr.h
palacios/src/geekos/vm.c
palacios/src/palacios/svm_halt.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_intr.c