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, 22 May 2008 03:38:15 +0000 (03:38 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 22 May 2008 03:38:15 +0000 (03:38 +0000)
commit90b8236597004a37a9d5acb33a1b1f987fe9070c
treedaa1c804ba297da3a3d9d3b9a12cb7948f8118e9
parentd8fc6aa4bc2a5d9cec50923e9d2bd30f867dd50a
*** empty log message ***
palacios/include/palacios/svm.h
palacios/include/palacios/vmm_time.h
palacios/src/devices/8254.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c