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.


Fix for option processing
[palacios.git] / palacios / src / extensions / Kconfig
2013-02-11 Oscar Mondragon Update of scheduling infrastructure and newest version...
2013-02-06 Oscar Mondragon Initial commit of new scheduling infrastructure. The...
2012-07-27 Jack Lange added vmware paravirtual extension
2012-04-20 Patrick G. Bridges Merge branch 'devel' of ssh://newskysaw.cs.northwestern...
2012-04-13 Kyle Hale Removal of old gears code in preparation for restructuring
2012-04-09 Patrick G. Bridges Removed spurious time configuration options
2011-06-23 Kyle Hale small fixes in Kconfig, cleaned up debugs in swint...
2011-06-23 Kyle Hale Changes for software interrupt extension code
2011-06-23 Kyle Hale Makefile now only includes swintr stuff. Temporarily...
2011-06-23 Kyle Hale isolated syscall config options to extensions
2011-06-23 Kyle Hale applied syscall patch
2011-06-18 Jack Lange reverted syscall changes
2011-06-17 Kyle Hale fix merge
2011-06-17 Kyle Hale minor changes to organization
2011-06-16 Philip Soltero ported machine check to extension
2011-04-19 Jack Lange added extension framework with initial inspector extension