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.


palacios.releases.git
2013-08-04 Jack Lange added NUMA query support for Linux to allow Palacios...
2013-08-04 Jack Lange added modified buddy allocator derived from Kitten...
2013-08-04 Alexander Kudryavtsev add FW_CFG interface implementation for SEABIOS
2013-08-04 Jack Lange imported SEABIOS source tree
2013-08-04 Peter Dinda Polling changes in host devices and keyed stream
2013-08-02 Peter Dinda v3_stream fix for escape character handling
2013-08-02 Peter Dinda 8259A PIC obeys master ICW3 masking of the slave
2013-08-02 Peter Dinda Major rewrite of serial port device
2013-08-02 Peter Dinda Update to virtio console for new stream interface
2013-08-02 Peter Dinda Update to char_stream device for new stream interface...
2013-08-02 Peter Dinda Changes to stream interface to allow for flow control...
2013-08-02 Peter Dinda Copyrights for lock and memory checking
2013-08-02 Patrick G.... Additional cleanup of v3_stream interactive mode.
2013-08-02 Patrick G.... Added basic escape handling to v3_stream interactive...
2013-08-02 Peter Dinda Fixes to interrupt (IRQ and VIRQ) injection logic:
2013-08-02 Peter Dinda Default yield policy is now friendly with a 10 ms timeout
2013-07-22 Peter Dinda 8259 PIC corrections and cleanup
2013-07-22 Peter Dinda Lock-checking enhancements - simple deadlock detection
2013-07-15 Peter Dinda Fallback to shadow paging if nested not supported or...
2013-07-15 Kyle Hale Add interface for power monitoring and telemetry option...
2013-06-18 Peter Dinda Lock checking enhancement to find frequently used ...
2013-06-18 Peter Dinda Lock and memory checking enhancements
2013-06-18 Kyle Hale cpuid bugfix for iface-pmu code
2013-05-28 Peter Dinda Lock bugfixes - missing lock deinits This also adds...
2013-05-28 Peter Dinda Memory alloction bugfix for vmm_events
2013-05-28 Peter Dinda Special-cased handling of zero-byte mallocs since Linux...
2013-05-28 Peter Dinda Memory checking enhancements
2013-05-28 Peter Dinda Lock checking enhancements
2013-05-27 Peter Dinda Minor bug fix
2013-05-27 Peter Dinda Memory allocation checking framework
2013-05-26 Peter Dinda Enhancements to lock checking and its configurability
2013-05-24 Peter Dinda Lock checking framework and cleanup of linux module...
2013-05-24 Maciek Swiech Checkpointing fixes
2013-05-06 Oscar Mondragon Add missing CPU mapper files
2013-05-06 Oscar Mondragon Add CPU mapper extension and fix to scheduler for time...
2013-04-25 Peter Dinda Host PCI with selective privilege (can dynamically...
2013-04-24 Kyle Hale Add tools for transforming a kernel module into a guard...
2013-04-24 Kyle Hale Add guarded module infrastructure
2013-04-12 Brian Ambielli Mouse functionality and cleanup
2013-04-12 Peter Dinda Updated vnc server to correspond to new mouse events
2013-04-12 Peter Dinda Revised mouse-related host events, graphics console...
2013-03-22 Peter Dinda Paravirtualized graphics device
2013-03-22 Brian Ambielli Correct irq behavior for mouse
2013-03-22 Peter Dinda PCI bugfix for passthrough bars
2013-03-22 Peter Dinda VNC server interface to graphics console source code
2013-03-22 Peter Dinda Graphics console user space interface library
2013-03-18 Peter Dinda Checkpointing and migration now support options, the...
2013-03-18 Peter Dinda General cleanup and help on v3_debug
2013-03-13 Peter Dinda User space library and example tool for accessing guest...
2013-03-13 Peter Dinda Support for optional full /dev/mem access even if host...
2013-03-01 Peter Dinda AMD PMU - load/store counts now use data cache access...
2013-03-01 Peter Dinda Removal of debugging crud
2013-03-01 Peter Dinda Corrected UCPI and UMPL estimation in PMU telemetry
2013-02-25 Oscar null check in host_sched_yield
2013-02-24 Peter Dinda Corrected PCI printdebug errors
2013-02-24 Peter Dinda Correct scheduler startup when no option given
2013-02-21 Peter Dinda Minor PMU bugfix
2013-02-21 Peter Dinda PMU-based telemetry extension to monitor guest and...
2013-02-21 Chang Bae PMU Host Interface and initial implementation for Linux...
2013-02-21 Peter Dinda Range-based invalidation for nested and direct paging...
2013-02-21 Patrick G.... Use passed in options to set scheduler
2013-02-20 Patrick G.... Fix for option processing
2013-02-20 Patrick G.... Added missed Makefile update for option handling
2013-02-20 Patrick G.... Split global option processing code into a separate...
2013-02-20 Patrick G.... Merge branch 'devel' of ssh://newskysaw.cs.northwestern...
2013-02-19 Chang Bae Fixed major palacios barrier implementation error with...
2013-02-19 Patrick G.... Merge branch 'devel' of ssh://newskysaw.cs.northwestern...
2013-02-19 Patrick G.... Added null check to option processing call.
2013-02-14 Patrick G.... Correction of scheduler registration check
2013-02-11 Patrick G.... Added first cut at options processing for the palacios...
2013-02-11 Oscar Mondragon remove extraneous dos linefeeds from scheduling files
2013-02-11 Oscar Mondragon Update of scheduling infrastructure and newest version...
2013-02-11 Patrick G.... Copyright header corrections to scheduler interface
2013-02-06 Patrick G.... Merge branch 'devel' of ssh://newskysaw.cs.northwestern...
2013-02-06 Oscar Mondragon Commented in scheduler call previously commented out.
2013-02-06 Kyle Hale bugfix: memory region is now removed from hook table...
2013-02-06 Oscar Mondragon Initial commit of new scheduling infrastructure. The...
2013-02-05 Patrick G.... Added missed extension include update
2013-02-05 Patrick G.... Added global initialization hook for extensions to...
2013-02-04 Alexander Kudryavtsev Added proper updated quix86 libraries that had been...
2013-01-27 Patrick G.... Merge branch 'devel' of ssh://newskysaw.cs.northwestern...
2013-01-27 Alexander Kudryavtsev Updated quix86 patch from Alexander. With latest versio...
2013-01-25 Patrick G.... Updated quix86 patch from Alexander. With latest versio...
2013-01-05 Peter Dinda Correct banner titles in configuration screens
2013-01-05 Peter Dinda Optional starting address for v3_mem
2013-01-01 Peter Dinda Additional error checking / output for failing memory...
2012-12-29 Peter Dinda Context-based output infrastructure (V3_Print, etc...
2012-12-29 Peter Dinda Use of information interface to enhance output of ...
2012-12-29 Peter Dinda information request api for the host - gives a more...
2012-12-27 Madhav Suresh Explictly tags in saves for PIT, APIC, IOAPIC, SVM...
2012-12-27 Peter Dinda Allow spaces in key names for textfile: saves
2012-12-26 Peter Dinda Library and tools for manipulating text and binary...
2012-12-26 Madhav Suresh Checkpointing of serial devices
2012-12-26 Peter Dinda Devices updated for revised checkpoint interface
2012-12-26 Peter Dinda Device manager updated with extended save/load model...
2012-12-26 Peter Dinda Update svm and vmx checkpoint functionality to new...
2012-12-26 Peter Dinda Implementation of revised checkpoint/migrate interface...
2012-12-26 Peter Dinda Implemntation of newer keyed stream interface on linux...
2012-12-26 Peter Dinda New keyed stream interface
2012-12-26 Peter Dinda Minor changes to eliminate warnings, and second-try...
next