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: 3650bf4)
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
treea528f26e10cace9ac659df702f1c6442ca5a6847tree | snapshot
parent3650bf4aaa4f83afae52c8fee98fce6e3ee68debcommit | diff
Cleanup of locking in host device interface
linux_module/iface-host-dev.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project