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.


Initial commit of new scheduling infrastructure. The EDF scheduler does not
authorOscar Mondragon <omondrag@cs.unm.edu>
Wed, 6 Feb 2013 17:50:52 +0000 (10:50 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 6 Feb 2013 17:50:52 +0000 (10:50 -0700)
commitdf510a069624b48dda1ad66368954f028757b1bc
tree8a2dfaa89945ad1fda91b176f04c5bff6a99576d
parentc7fc0049ddcfdcce09744beed5606bb4d9d2aa01
Initial commit of new scheduling infrastructure. The EDF scheduler does not
yet work, Linux/Kitten hooks still need to be added for sleep/wakeup, and
we still need a mechanism to specify options to Palacios when it starts up.
it is booted.
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_scheduler.h [new file with mode: 0644]
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
palacios/src/extensions/ext_sched_edf.c [new file with mode: 0644]
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_scheduler.c [new file with mode: 0644]
palacios/src/palacios/vmx.c