1. 2020-08-02 Re: [PATCH-3] A new irq device interface hurd-bug Samuel Thibault 2. 2020-08-02 [PATCH-3] A new irq device interface hurd-bug Junling Ma