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.


Cleanup of locking in host device interface
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 19 May 2015 16:36:11 +0000 (11:36 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 19 May 2015 16:44:57 +0000 (11:44 -0500)
commit145dbb97d24518a80348a2aec5494b6d7805081b
treea528f26e10cace9ac659df702f1c6442ca5a6847
parent3650bf4aaa4f83afae52c8fee98fce6e3ee68deb
Cleanup of locking in host device interface
linux_module/iface-host-dev.c