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.


updated stream API
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 19:24:07 +0000 (13:24 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 19:24:07 +0000 (13:24 -0600)
commit24e0221dd2fdcf613cc5e487ec57a30f2fef25e3
treeeb2a0c937a913a7243ab096d1802c5d0ab9e545c
parentfbfbbc1eec7587e4555e7920c9b15129f90f8d80
updated stream API
palacios/include/palacios/vmm_stream.h
palacios/src/palacios/vmm_stream.c