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.


Cleanup and sanity-checking of before/after null-check and copy+paste errors (Coverit...
[palacios.git] / palacios / src / palacios / mmu /
2015-04-17 Peter Dinda Generalization of constraints on page allocation and...
2014-06-22 Peter Dinda Minor bug fixes and defensive programming
2014-05-26 Chunxiao Diao, Dan... Convert shadow paging to use 32 PAE (Core)
2014-04-06 Chunxiao Diao Corrected corner case in VTLB (shadow paging) handling
2014-04-06 Kyle Hale significant refactoring of RTM emulation code
2014-02-18 Peter Dinda Minor cleanups on shadow paging build/debug
2013-08-18 Peter Dinda Constraints in page allocation, and code changes to...
2012-12-29 Peter Dinda Context-based output infrastructure (V3_Print, etc...
2012-07-07 Peter Dinda Lots of pedantic error checking in Palacios proper...
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-01-11 Jack Lange freeing of virtual paging state during guest deinitiali...
2010-11-19 Jack Lange update page free interface to allow freeing of multiple...
2010-10-20 Jack Lange some fixes to caching, still segfaults at the init...
2010-10-20 Jack Lange initial shadow page cache version
2010-10-19 Jack Lange remove debugging
2010-10-19 Jack Lange large page changes
2010-08-12 Patrick Bridges Added support for using large shadow pages with 32...
2010-08-12 Patrick Bridges Actually fixed page alignment computation to be correct...
2010-08-11 Patrick Bridges Added robust physical alignment check
2010-08-11 Patrick Bridges Changes to support large shadow pages *correctly*.
2010-08-10 Patrick Bridges Added initial cut at support with using large pages...
2010-07-30 Peter Dinda Semi-functional SMP (boots Kitten guest with two cores)
2010-05-21 Jack Lange license fixes for code borrowed from Linux
2010-05-19 Jack Lange license fixes for code stolen from Linux under GPL
2010-05-19 Peter Dinda Fixed minor compilation problems
2010-05-18 Jack Lange memory lookup refactorization
2010-05-18 Jack Lange refactored memory map
2010-05-18 Jack Lange moved memory hooks out of core memory map implementation,
2010-05-15 Jack Lange add more permission checks to shadow paging
2010-05-15 Jack Lange moved shadow paging implementations over to new memory...
2010-05-14 Jack Lange moved internal memory map routines over to new flags...
2010-05-04 Jack Lange restructuring of shadow paging implementations