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 / Makefile
2013-02-06 Oscar Mondragon Initial commit of new scheduling infrastructure. The...
2012-07-27 Jack Lange added vmware paravirtual extension
2012-04-13 Kyle Hale Removal of old gears code in preparation for restructuring
2011-06-23 Kyle Hale changed Makefile for syscall extension
2011-06-23 Kyle Hale fixed paren in Makefile
2011-06-23 Kyle Hale Makefile now only includes swintr stuff. Temporarily...
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-05-02 Jack Lange build fixes to merge the Palacios configuration paramet...
2011-04-20 Jack Lange added null build file
2011-04-19 Jack Lange added extension framework with initial inspector extension