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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 401f28c)
stupid typo fix to the stream interface to prevent memory corruption
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 16:32:54 +0000 (12:32 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 16:32:54 +0000 (12:32 -0400)
commit504b1b73f85263b47bba96207b0a615933f87b15
tree85bc159e57c3914a95c68d5adb70d0e39d93da8ftree | snapshot
parent401f28c04132e4f5ccafc145dcb69b6dee4afe4ecommit | diff
stupid typo fix to the stream interface to prevent memory corruption
palacios/src/interfaces/vmm_stream.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project