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.


fixed paren in Makefile
[palacios-OLD.git] / palacios / src / extensions /
2011-06-23 Kyle Hale fixed paren in Makefile
2011-06-23 Kyle Hale moved syscall lookup functions to static funcs in ext_s...
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 added extension file specifically for software interrup...
2011-06-23 Kyle Hale removed old extension files
2011-06-23 Kyle Hale matched extension file-naming conditions, changed a...
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 added missing extension files
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 (w/ impl file)
2011-06-16 Philip Soltero ported machine check to extension
2011-05-04 Jack Lange separated virtual cores from physical cores
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