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 divide-by-zero and floating point use bugs (Coverity...
[palacios.git] / palacios / src / devices / 8254.c
2015-09-01 Peter Dinda Cleanup and sanity-checking of divide-by-zero and float...
2013-05-24 Maciek Swiech Checkpointing fixes
2012-12-29 Peter Dinda Context-based output infrastructure (V3_Print, etc...
2012-12-27 Madhav Suresh Explictly tags in saves for PIT, APIC, IOAPIC, SVM...
2012-12-26 Peter Dinda Devices updated for revised checkpoint interface
2012-07-07 Peter Dinda Lots of pedantic error checking in Palacios proper...
2012-02-17 Alexander Kudryavtsev Handle 8254 PIT reload count of 0 correctly (means...
2011-09-16 Madhav Suresh added device checkpoint hooks
2011-06-09 Patrick Bridges Cleanup of time handling code
2011-05-24 Patrick Bridges Resoved conflict on merge of 8254.c
2011-05-24 Patrick Bridges Print revision to 8254.c
2011-05-19 Jack Lange updated IRQ_ON_TERM_CNT reload value
2011-05-19 Jack Lange timer fix for linux guest
2011-05-02 Jack Lange build fixes to merge the Palacios configuration paramet...
2011-04-08 Jack Lange build fix and configuration cleanup
2011-04-07 Peter Dinda Added checkpoint and restore support for 8254 (PIT)
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...
2010-11-24 Jack Lange minor fixes for stopping VMs
2010-11-23 Jack Lange deallocation of devices
2010-11-23 Jack Lange changed device registration interface
2010-11-23 Jack Lange Updated devices to remove vm_device dependencies.
2010-11-22 Jack Lange reworked device IO hook framework
2010-11-19 Jack Lange added some more device unregister functions
2010-11-19 Jack Lange timer interface updates to allow state cleanup on exit
2010-11-05 Erik van der Kouwe This patch contains various small fixes. Some are MINIX...
2010-09-20 Patrick G. Bridges Implemented (but not yet tested) time interface changes...
2010-08-18 Patrick Bridges Enabled channel 2 in 8254.c, added basic speaker I...
2010-08-13 Jack Lange change to device configuration syntax
2010-07-30 Peter Dinda Semi-functional SMP (boots Kitten guest with two cores)
2010-01-15 Jack Lange fixes for single core guest on multicore capable systeM
2010-01-14 Jack Lange refactoring to the point of compilation
2009-12-01 Jack Lange integrated new configuration system
2009-08-13 Jack Lange fixed configuration macro checks and a few configuratio...
2009-07-25 Jack Lange Update to the device framework.
2009-03-11 Jack Lange added software strobe
2009-03-09 Jack Lange added error reporting functions
2009-03-03 Jack Lange reformatted device source files
2009-02-16 Jack Lange fixed timing bug
2009-02-10 Jack Lange timer fixes
2008-10-16 Jack Lange large scale namespace changes
2008-10-03 Jack Lange added new copyright and license
2008-09-25 Jack Lange modified copyright tags
2008-09-25 Jack Lange modified copyright tags
2008-09-25 Jack Lange added copyright tags
2008-09-25 Jack Lange added copyright tags
2008-07-21 Jack Lange added new debugging directives
2008-07-17 Jack Lange *** empty log message ***
2008-07-07 Jack Lange boot process to serial initialization
2008-07-02 Peter Dinda Added latching and reading
2008-06-10 Jack Lange *** empty log message ***
2008-05-29 Jack Lange added timer support...
2008-05-22 Jack Lange *** empty log message ***
2008-05-21 Jack Lange lot of changes