On 10-6-6 下午5:29, Da Zheng wrote:

Hello,

Here is a minor bug in claim_irq when ddekit_interrupt_attach fails. We should be set used_irqs properly in case ddekit_interrupt_attach fails. The fix is in the attachment.

My apologies. I didn't make it clear in my last letter. The bug is in DDE Linux26 and my fix is based on the Hurd porting of DDE Linux26. Best regards, Zheng Da