Re: increase softint_bytes

[6bone%6bone.informatik.uni-leipzig.de@localhost]

On Thu, 16 Nov 2017, Masanobu SAITOH wrote:

> Hi, all.
>
> Some device drivers now allocate a lot of softints.
> See:
>
> 	http://mail-index.netbsd.org/current-users/2017/11/09/msg032581.html
>
> To avoid this panic, I wrote the following patch:
>
> 	http://www.netbsd.org/~msaitoh/softint-20171116-0.dif

I tested the patch. Now the dump comes in another place.

https://suse.uni-leipzig.de/crash/crash-with-patch.jpg

Regards
Uwe