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.

projects / palacios.git / history
? search: re
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Makefile now only includes swintr stuff. Temporarily removed MSR-related stuff from...
[palacios.git] / palacios / src / extensions /
2011-06-23 Kyle Hale Makefile now only includes swintr stuff. Temporarily... tree | commitdiff
2011-06-23 Kyle Hale added extension file specifically for software interrup... tree | commitdiff
2011-06-23 Kyle Hale removed old extension files tree | commitdiff
2011-06-23 Kyle Hale matched extension file-naming conditions, changed a... tree | commitdiff
2011-06-23 Kyle Hale isolated syscall config options to extensions tree | commitdiff
2011-06-23 Kyle Hale applied syscall patch tree | commitdiff
2011-06-18 Jack Lange reverted syscall changes tree | commitdiff
2011-06-17 Kyle Hale added missing extension files tree | commitdiff
2011-06-17 Kyle Hale fix merge tree | commitdiff
2011-06-17 Kyle Hale minor changes to organization tree | commitdiff
2011-06-16 Philip Soltero ported machine check to extension (w/ impl file) tree | commitdiff
2011-06-16 Philip Soltero ported machine check to extension tree | commitdiff
2011-05-04 Jack Lange separated virtual cores from physical cores tree | commitdiff
2011-05-02 Jack Lange build fixes to merge the Palacios configuration paramet... tree | commitdiff
2011-04-20 Jack Lange added null build file tree | commitdiff
2011-04-19 Jack Lange added extension framework with initial inspector extension tree | commitdiff
Public Palacios Development Repository for the V3VEE Project