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.


small fixes in RTM code
authorKyle Hale <kh@u.northwestern.edu>
Wed, 26 Mar 2014 00:44:24 +0000 (19:44 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 6 Apr 2014 21:23:54 +0000 (16:23 -0500)
commitf0b0012ea7e527abf517545e4280f19d6b6b5f1c
tree875ff16216db4009936e7c57f1f718b7b8ec0f17
parenteba61cce5f7159bd5bf94b84a10438a882b76a7c
small fixes in RTM code
palacios/src/extensions/ext_trans_mem.c