On Tue, 19 Dec 2017 21:29:54 +0100
Christoffer Dall [off-list ref] wrote:

On Wed, Dec 13, 2017 at 08:15:10PM +0000, Marc Zyngier wrote:

quoted

On Wed, 13 Dec 2017 10:46:02 +0000,
Christoffer Dall wrote:  

quoted

Now when we've reworked how mapped level-triggered interrupts are
processed for the timer interrupts, we update the documentation
correspondingly.  

Seems like the documentation is more out of date than we thought, see
below.
  

Indeed.  And I wondered if we should just nuke this file.  The reason I
added it originally was that the concept of "never taking the interrupt"
was confusing to most, and we had to explain it several times over, but
perhaps it's really not needed anymore and we should let people read the
code instead?

Suits me (maintaining documentation is hard). I suggest we delete it
and write the perfect explanation once KVM is completely done...

	M.
-- 
Without deviation from the norm, progress is not possible.