Re: Kernel crash with rtl8139 while restarting pfinet

[Ludovic Courtès]

Hi,

Samuel Thibault <samuel.thibault@gnu.org> skribis:

> 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.

Yeah, understood.

Perhaps it would make sense to progressively reap most of the linux/
sub-directory in Mach, keep only a few drivers that may be convenient
when debugging things or playing in an emulator?

Ludo’.