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.


Add CPU mapper extension and fix to scheduler for time dilation
authorOscar Mondragon <omondrag@cs.unm.edu>
Mon, 6 May 2013 20:51:47 +0000 (14:51 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 6 May 2013 20:51:47 +0000 (14:51 -0600)
commit2fff50d3e72abf29655326449ed4dc5cf6e8f429
tree7aa6f3668fd1a73262f57f56d5c867242edc305a
parent2377d33e71ba625a547b414916949181db2a49da
Add CPU mapper extension and fix to scheduler for time dilation
Kconfig
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
palacios/src/extensions/ext_sched_edf.c
palacios/src/palacios/Makefile
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_scheduler.c