gnumach-dev: please include intr.h

[Robert Millan]

Package: gnumach-dev
Severity: wishlist

(followup from the Userspace PCI I/O discussion in bug-hurd / rumpkernel-users)

El 16/08/15 a les 15:14, Antti Kantee ha escrit:
> >    - intr.h was just copied from GNU Mach source tree (I don't think it is 
> > copyright-significant
> >      though).

I traced this file to 70_dde.patch, which was added in 2012 to the Debian 
package,
but not to upstream gnumach tree:

  * debian/patches/70_dde.patch: Add experimental support for irq passing and
    physical memory allocation for DDE. Also adds nonetdev boot parameter to
    disable network device drivers.

hurd code (in Debian) basically duplicates it in libddekit/interrupt.c, e.g.:

libddekit/interrupt.c-#define MACH_INTR_NOTIFY 424242
libddekit/interrupt.c-
libddekit/interrupt.c-typedef struct
libddekit/interrupt.c-{
libddekit/interrupt.c-  mach_msg_header_t intr_header;
libddekit/interrupt.c-  mach_msg_type_t   intr_type;
libddekit/interrupt.c-  int                 line;
libddekit/interrupt.c:} mach_intr_notification_t;

Would you consider installing it in /usr/include/device/ for the sake of other
programs who also want to do funny things with interrupts on userspace? :-)

--
Robert Millan