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.


VNET fixes and adaptation to new API
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 26 Jun 2012 21:29:17 +0000 (16:29 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 21:18:29 +0000 (16:18 -0500)
commit139d7b7b65f1a5d7c335fca4abb6d61d12b8aaff
treeff0529ed254f6a422ffc8a2aebac02c41cb67875
parentfe436f3769306b960087068610f9afc85b7141ba
VNET fixes and adaptation to new API

The most important fixes here are in eliminating the use of blocking receives
and using timed yields
linux_module/palacios-vnet-brg.c
linux_module/palacios-vnet-ctrl.c
linux_module/palacios-vnet.c