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.


Avoid strict-aliasing related issues when compiling with optimization
[palacios.git] / Kconfig
2015-05-19 Peter Dinda Addition of basic multiboot functionality plus refactor...
2015-03-22 Peter Dinda Basic HVM data structures and functions
2014-06-27 Peter Dinda Add memory tracking functionality to Palacios
2014-06-22 Daniel Zuo, Nikhat... Add swapping and pinning capability to Palacios
2014-05-26 Chunxiao Diao, Dan... Convert shadow paging to use 32 PAE (Core)
2014-02-18 Peter Dinda Minor cleanups on shadow paging build/debug
2013-11-26 Peter Dinda Updated defaults to reflect former behavior for CPUID...
2013-11-26 Peter Dinda Floating point context-switching and checkpoint/load
2013-08-04 Peter Dinda Add load-time configurable memory block size
2013-08-04 Jack Lange Added non-contiguous memory region support.
2013-08-04 Peter Dinda Allow selection of different BIOSes for the PC hardware...
2013-07-15 Kyle Hale Add interface for power monitoring and telemetry option...
2013-05-27 Peter Dinda Memory allocation checking framework
2013-05-26 Peter Dinda Enhancements to lock checking and its configurability
2013-05-06 Oscar Mondragon Add CPU mapper extension and fix to scheduler for time...
2013-02-21 Peter Dinda PMU-based telemetry extension to monitor guest and...
2013-02-11 Oscar Mondragon Update of scheduling infrastructure and newest version...
2012-09-10 Peter Dinda Added functionality for MONITOR and MWAIT instructions...
2012-07-19 Mark Cartwright... Live Migration Functionality
2012-04-20 Patrick G. Bridges Merge branch 'devel' of ssh://newskysaw.cs.northwestern...
2012-04-13 Kyle Hale Build changes for gears inclusion
2012-04-09 Patrick G. Bridges Removed spurious time configuration options
2012-02-08 Alexander Kudryavtsev Integration of QUIX86 decoder libraries. Debug and...
2011-10-07 Patrick G. Bridges Cleaned up configuration of time management; most advan...
2011-09-22 Jack Lange remove old multithread reference
2011-09-22 Jack Lange Remove non-multithreaded OS option. Change VM creation...
2011-09-16 Madhav Suresh core checkpoint import
2011-08-26 Jack Lange update debugging info configuration
2011-06-23 Kyle Hale moved PrintErrors to PrintDebugs with special compilati...
2011-06-18 Jack Lange reverted syscall changes
2011-06-17 Kyle Hale minor changes to organization
2011-05-18 Kyle Hale added ability to inject an env variable into guest...
2011-05-04 Lei Xia update Kconfig, added VNET configuration menu
2011-05-04 Lei Xia move vnet code outside of palacios core directory
2011-04-29 Kyle Hale Merge branch 'devel' of /home-remote/palacios/palacios...
2011-04-29 Kyle Hale additions for syscall hijacking
2011-04-19 Jack Lange added extension framework with initial inspector extension
2011-04-12 Jack Lange moved host OS interfaces to a separate directory palaci...
2011-04-08 Jack Lange build fix and configuration cleanup
2011-04-07 Peter Dinda Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2011-04-07 Peter Dinda Added host keyed stream support
2011-04-07 Jack Lange added debug configuration option for decoding framework
2011-04-05 Peter Dinda Added graphics console host interface
2011-03-18 Jack Lange more linux build tweeks
2011-03-16 Jack Lange Set appropriate Linux Kconfig defaults
2011-03-16 Jack Lange reworked build system to automatically compile Linux...
2011-03-04 Jack Lange initial checking of internal decoder
2011-03-01 Jack Lange change virtualized time configuration
2011-02-25 Patrick G. Bridges More timing cleanup with a fix to 8254.c for running...
2011-02-17 Patrick G. Bridges Fixes to time code to allow virtualization to hide...
2011-01-27 Jack Lange build fixes and cleanup code to handle VMM shutdown
2011-01-21 Jack Lange added option to include debugging symbols in palacios...
2010-11-21 Lei Xia Minor fix on virtio network device config
2010-11-17 Lei Xia Minor fix on VNET config
2010-11-17 Lei Xia VNET code clean and rearrangement
2010-11-10 Lei Xia add the virtual console input as a host event
2010-10-25 Patrick G. Bridges Merge branch 'devel' into timer_control
2010-10-20 Jack Lange initial shadow page cache version
2010-10-19 Patrick G. Bridges Fixed merge of apic.c
2010-10-18 Patrick G. Bridges Still working on timer updates, heading towards being...
2010-10-06 Jack Lange removed redundant FILE option
2010-10-01 Patrick G. Bridges Time configuration parameters added. More time control...
2010-09-20 Patrick G. Bridges Initial testing of new time handling on VMX, initial...
2010-08-05 Jack Lange updated Linux host defaults
2010-08-05 Jack Lange added host OS file support configuration option
2010-08-03 Jack Lange added configurable host features to Palacios configuration
2010-08-03 Peter Dinda Now correctly boots 2, 4, 8 core kitten
2010-07-07 Peter Dinda Partially functional Intel MP table support
2010-05-13 Jack Lange fixed host OS selection options
2010-05-05 Jack Lange removed ugly module support
2010-04-14 Erik van der Kouwe add console hook support
2010-03-11 Jack Lange reverted naming changes to fix configuration breakage
2010-03-08 Lei Xia Update on the VNET Bridge virtio device
2010-02-22 Jack Lange removed PASSTHROUGH_VIDEO option
2010-02-17 Lei Xia Update on VNET-NIC device, and fix vnet & virtio net
2010-02-11 Jack Lange added module directory tree and build configuration
2010-02-10 Jack Lange Added symbiotic module loader framework
2010-02-06 Jack Lange reorganized swapbypass to isolate it to a special shado...
2010-02-06 Jack Lange reorganization of the symbiotic infrastructure
2010-02-04 Jack Lange New Shadow paging implementation to allow pluggable...
2010-02-03 Jack Lange fixed sprintf configuration dependencies
2010-01-31 Jack Lange KBuild fixes to set defaults for Kitten
2009-12-01 Lei Xia Merge branch 'devel' of ssh://palacios@newskysaw.cs...
2009-12-01 Lei Xia Add Virtio Network device and add virio_net config...
2009-12-01 Jack Lange integrated new configuration system
2009-11-17 Jack Lange added xml parser for configuration
2009-11-16 Lei Xia Add vnet experimental option to config
2009-09-08 Jack Lange turn telemetry off by default
2009-09-04 Jack Lange hardware multicore support
2009-08-27 Steven Jaconette From 294306ec5026ea691a4f1380598114688b061c99 Mon Sep...
2009-08-21 Jack Lange ported the profiler over to the telemetry interface
2009-08-17 Jack Lange initial checkin of symbiotic swap interface
2009-08-17 Jack Lange added experimental configuration option
2009-08-14 Jack Lange sprintf configuration fixes
2009-08-14 Jack Lange more configuration fixes
2009-08-14 Jack Lange more configuration fixes
2009-08-13 Jack Lange fixed configuration macro checks and a few configuratio...
2009-08-13 Jack Lange Ported palacios to Kbuild