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 22:46:46 +0000 (22:46 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Apr 2008 22:46:46 +0000 (22:46 +0000)
commita27a60b911afe29329cf93b23e274e0ef182093e
tree15cc9db869d0031e1fb7902bc6ad6cfa92c09758
parentdc87c976e1423a304f7d4c8848c85874c58e05b5
*** empty log message ***
palacios/include/palacios/vmm_io.h
palacios/src/palacios/vmm_io.c