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.


Integrated vmm_file and filedisk - now compiles
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 5 Aug 2010 18:43:39 +0000 (13:43 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Aug 2010 18:48:58 +0000 (13:48 -0500)
commit58aa424fadc697715b616e2f0d6134d194335e00
tree78556e23bed0e3ff3e1c4a453931532a73244ff0
parentb25296b8b79d1964be81a4ebfa8262d4ca36a63f
Integrated vmm_file and filedisk - now compiles
palacios/include/palacios/vmm_file.h
palacios/src/devices/filedisk.c