Paul Brook wrote: >> 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.
The guest would share IRQ8, not the RTC output. So there would be no difference to the current situation. Jan -- Siemens AG, Corporate Technology, CT T DE IT 1 Corporate Competence Center Embedded Linux