> > 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. Paul
