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.


EDF scheduler bugfixes from Oscar
authorPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 1 Oct 2013 18:59:17 +0000 (12:59 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 1 Oct 2013 18:59:17 +0000 (12:59 -0600)
commitaeb2dd5e0468a94dd992a21d9e6e8ac5b925d2e6
treeb8688a7103da10f049976e208368d3be4de2e2b7
parente3ae29e38a73107f381dbef746c8319eb2c8012b
EDF scheduler bugfixes from Oscar
palacios/include/palacios/vmm_cpu_mapper.h
palacios/include/palacios/vmm_scheduler.h
palacios/src/extensions/ext_cpu_mapper_edf.c
palacios/src/extensions/ext_sched_edf.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_cpu_mapper.c
palacios/src/palacios/vmm_options.c
palacios/src/palacios/vmm_scheduler.c