Re: rumpkernel: [PATCH 2/3] pci-userspace: Use new mach IRQ device RPC i

bug-hurd

From:	Samuel Thibault
Subject:	Re: rumpkernel: [PATCH 2/3] pci-userspace: Use new mach IRQ device RPC interfaces
Date:	Fri, 24 Jul 2020 15:32:19 +0200
User-agent:	NeoMutt/20170609 (1.8.3)

Applied, thanks!

Current Thread

[Next in Thread]

rumpkernel: [PATCH 1/3] Use -fcommon in HOST_CFLAGS for GCC 10 compat, Damien Zammit, 2020/07/24
- rumpkernel: [PATCH 2/3] pci-userspace: Use new mach IRQ device RPC interfaces, Damien Zammit, 2020/07/24
  - Re: rumpkernel: [PATCH 2/3] pci-userspace: Use new mach IRQ device RPC interfaces, Samuel Thibault <=
- rumpkernel: [PATCH 3/3] Add correct build-deps in debian/control, Damien Zammit, 2020/07/24
  - Re: rumpkernel: [PATCH 3/3] Add correct build-deps in debian/control, Samuel Thibault, 2020/07/24
- Re: rumpkernel: [PATCH 1/3] Use -fcommon in HOST_CFLAGS for GCC 10 compat, Samuel Thibault, 2020/07/24