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.


Update of scheduling infrastructure and newest version of EDF scheduler
authorOscar Mondragon <omondrag@cs.unm.edu>
Mon, 11 Feb 2013 21:19:30 +0000 (14:19 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 11 Feb 2013 21:19:30 +0000 (14:19 -0700)
commit194c3ac8da18934654586e121a0facfb36b4bc1f
treedad7578ef530b255bf251564d62d4ac0110c023a
parent6469a843145bd6626460531b3bb382ade6540b4a
Update of scheduling infrastructure and newest version of EDF scheduler
Kconfig
palacios/include/palacios/vmm_scheduler.h
palacios/src/extensions/Kconfig
palacios/src/extensions/ext_sched_edf.c
palacios/src/palacios/vmm_scheduler.c