Re: [RFC][PATCH 1/2] Make irq0->inti2 override in BIOS configurable from userspace

2009-01-24 Thread Marcelo Tosatti
Hi Beth, On Thu, Jan 22, 2009 at 10:29:36PM -0600, Beth Kon wrote: > This series of patches (nearly) resolves the irq0->inti2 override issue, and > gets the hpet working on kvm with and > without the in-kernel irqchip (i.e., it disables userspace and in-kernel pit > as needed). > > - irq0->inti

[RFC][PATCH 1/2] Make irq0->inti2 override in BIOS configurable from userspace

2009-01-22 Thread Beth Kon
This series of patches (nearly) resolves the irq0->inti2 override issue, and gets the hpet working on kvm with and without the in-kernel irqchip (i.e., it disables userspace and in-kernel pit as needed). - irq0->inti2 The resolution was to always use the override unless the kernel cannot do ir