>
> Okay, I had a look. Terminal buffer overflow? Do you have an idea how to
> pass the terminal output into a file?
>
Yes, I will keep that in mind and do it the next time


> The next task is to run coccinelle on the kernel sources. You will find
> documentation on how to set up and run coccinelle in the kernel
> documentation.
>
> I suggest you run coccinelle on the latest kernel source, v5.9-rc1.
>
Alright, I will have a look and get back to you