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.


changed configuration structure for block devices
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 8 Jul 2009 22:26:23 +0000 (17:26 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 8 Jul 2009 22:26:23 +0000 (17:26 -0500)
commitddd8ed1df60f75104096a8b6a9996ef5f462f594
tree8c37b8ddfa02130a952e1679d1c29c45459af8d3
parent153204955413dcb12b2156fc80bdda6e275009b9
changed configuration structure for block devices
palacios/include/palacios/vmm.h
palacios/src/palacios/vmm_config.c