Zachary Amsden wrote:

We faithfully emulate lapic, io_apic, the pit, pic, and a normal
interrupt subsystem.

Can you not just use the apic clock driver directly then?  Do you need
to do anything special?

    J