Re: Kernel crash with rtl8139 while restarting pfinet

[Samuel Thibault]

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