Hello, Ludovic Courtès, le dim. 24 oct. 2021 15:47:36 +0200, a ecrit: > $ 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
That looks like the driver not properly cleaning its IRQ handler. > Maybe I should just be using netdde in the first place (better have > crashy code in user space :-)) Yes, and also because we don't really plan to debug all that legacy code. Samuel
