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.


V3_Yield_Timed(usec) was renamed V3_Sleep(usec)
authorKevin Pedretti <ktpedre@sandia.gov>
Fri, 26 Oct 2012 16:36:27 +0000 (10:36 -0600)
committerKevin Pedretti <ktpedre@sandia.gov>
Fri, 26 Oct 2012 16:36:27 +0000 (10:36 -0600)
commitbae592fa0e54e3ce5933e84e4b15815ba0501618
tree7fa37c98ea65dded87811f6b14ececde89357f2b
parent858a5572e6d968963992f676eb76b6d691864479
V3_Yield_Timed(usec) was renamed V3_Sleep(usec)
palacios/src/vnet/vnet_core.c