Sep 1 2021, Jonathon Fernyhough via arch-general has written: ...
listed with "dvzrv" is David Runge's realtime kernel repo  - is that one you have enabled? It looks like it was renamed sometime around December last year .
Thanks a lot. I didn't spot that. Yes, I have it and it's now fixed! Many thanks!