gnumach-dev: please include intr.h

  • From: Robert Millan <rmh@xxxxxxx>
  • To: Antti Kantee <pooka@xxxxxx>, rumpkernel-users@xxxxxxxxxxxxx
  • Date: Sun, 16 Aug 2015 19:48:39 +0200

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

I traced this file to 70_dde.patch, which was added in 2012 to the Debian
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-typedef struct
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

Other related posts:

  • » gnumach-dev: please include intr.h - Robert Millan