> Paul Brook wrote: > >>> This is wrong. The hpet device should expose this as an IO pin. > >> > >> Will look into this. > >> > >> BTW, I just realized that the GPIO handling is apparently lacking > >> support for attaching an output to multiple inputs. Or am I missing > >> something? > > > > Use an explicit mux. > > > > Incidentally I suspect your handling of the ISA IRQs is broken. You may > > never have more than one source connected to a sink. Shared IRQ lines > > must be done explicitly. > > No, the other way around: one source (RTC) multiple sinks (HPET, ACPI). > Will probably draft a generic irq/gpio mux.
I realise that. However I'd expect things to break if the guest OS devices to share an IRQ line between the HPET and some other device. Paul
