On Dez 12 2019, Romain Dolbeau wrote:

> Can you share your kernel config, compiler version, and other details?

I'm using 4K pages, in case that matters, and gcc 4.8.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."