Sergey Bugaev, le dim. 24 oct. 2021 17:40:10 +0300, a ecrit: > On Sun, Oct 24, 2021 at 4:47 PM Ludovic Courtès <l...@gnu.org> wrote: > > $ addr2line -e > > /gnu/store/acl9ffg0pjcj1hvzf8f5pz98xm0cqpps-gnumach-1.8-1.097f9cf/boot/gnumach > > 0xc10b1f5d 0xc105c6da 0xc1046209 0xc1040d25 0xc104a7a5 0xc1022252 > > 0xc1052ef9 0xc10071f8 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/./linux/dev/include/asm/string.h:209 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/linux/dev/arch/i386/kernel/irq.c:110 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/i386/i386at/interrupt.S:38 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/device/ds_routines.c:198 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/device/device.server.c:280 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/kern/ipc_kobject.c:178 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/ipc/mach_msg.c:1301 > > /tmp/guix-build-gnumach-1.8-1.097f9cf.drv-0/source/i386/i386/locore.S:1109 > > FWIW, I've seen similar crashes when using the gnumach image I built > from sources; I've worked them around by applying Debian patches found > here [0]. I'm not sure that these are the same crashes I've seen, but > they do look similar. > > [0]: https://salsa.debian.org/hurd-team/gnumach/-/tree/master/debian/patches
I don't see how the patches in the debian package could fix such crash, they are not related to that irq management at all (79_dde-debian is about irqs, but it only contains a compatibility layer) Samuel
