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.


Fix for option processing
[palacios.git] / palacios / src / devices / 8259a.c
2012-12-29 Peter Dinda Context-based output infrastructure (V3_Print, etc...
2012-12-26 Peter Dinda Devices updated for revised checkpoint interface
2012-07-27 Jack Lange added error check to 8259
2012-07-07 Peter Dinda Lots of pedantic error checking in Palacios proper...
2012-04-20 Jack Lange reworked PCI bus implmentation -- moved to mask based...
2012-04-20 Jack Lange added ackable interrupts
2011-10-03 Jack Lange checkpoint changes to get "reset to BIOS" working.
2011-09-16 Madhav Suresh added device checkpoint hooks
2011-05-02 Jack Lange build fixes to merge the Palacios configuration paramet...
2011-01-22 Erik van der Kouwe This patch adds a few compiler conditionals so that...
2011-01-06 Jack Lange add interrupt deinitialization to devices
2010-11-23 Jack Lange deallocation of devices
2010-11-23 Lei Xia Minor fix
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 Erik van der Kouwe The Palacios PIC does not implement the set-priority...
2010-08-13 Jack Lange change to device configuration syntax
2010-07-31 Peter Dinda Fixed handling of the INTAK cycle for both apic and pic
2010-07-30 Peter Dinda Semi-functional SMP (boots Kitten guest with two cores)
2010-05-21 Jack Lange bug fix for interrupt check
2010-05-18 Jack Lange possibly fixed bug in 8259 implementation
2010-03-28 Jack Lange removed redundant OS API
2010-02-03 Jack Lange Fix interrupt injection bug due to caching irq vectors...
2010-01-14 Jack Lange refactoring to the point of compilation
2009-12-01 Jack Lange integrated new configuration system
2009-09-01 Jack Lange added cpu interruption interface
2009-09-01 Jack Lange modified interrupt interface to pass guest_info pointer
2009-08-31 Andy Gocke VMX is working for a 32-bit Linux kernel. It should...
2009-08-13 Andy Gocke Succesful transition to vmxassist, then to the bios...
2009-08-13 Jack Lange fixed configuration macro checks and a few configuratio...
2009-07-29 Jack Lange more updates of devices to new device framework
2009-07-25 Jack Lange Update to the device framework.
2009-04-08 Jack Lange added level trigger configuration registers
2009-03-10 Jack Lange squelch unhandled interrupt messages
2009-03-03 Jack Lange reformatted device source files
2009-02-17 Jack Lange removed error message that no longer pertains...
2009-02-13 Jack Lange added support for multiple interrupt controllers
2009-01-28 Jack Lange fixed debug print syntax errors
2008-10-16 Jack Lange more namespace changes
2008-10-16 Jack Lange large scale namespace changes
2008-10-14 Jack Lange General fixes and clean up
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-09-16 Jack Lange *** empty log message ***
2008-09-16 Jack Lange fixed a ton of compile errors
2008-09-02 Jack Lange clean up
2008-08-14 Zheng Cui *** empty log message ***
2008-07-28 Peter Dinda Added RTC functionality (including interrupt injection...
2008-07-21 Jack Lange added new debugging directives
2008-07-21 Peter Dinda Bug fixes in 8259: now handles irqs>=8
2008-05-21 Jack Lange lot of changes
2008-05-15 Jack Lange *** empty log message ***
2008-05-14 Jack Lange reworked some of the interrupt handling
2008-05-13 Jack Lange lots of changes...
2008-05-02 Jack Lange *** empty log message ***
2008-04-30 Jack Lange *** empty log message ***
2008-04-28 Jack Lange fixed stupid errors
2008-04-25 Jack Lange added PIC device
2008-04-23 Jack Lange added pic device
2008-04-22 Jack Lange moved pic device