Re: 14-Stable: Cannot load DRM kernel module

From: Philipp-Joachim Ost <pj_at_smo.de>
Date: Fri, 20 Oct 2023 20:36:33 UTC
Am 20.10.2023 um 21:01 schrieb Philipp-Joachim Ost:
> Where do I get the missing linuxkpi_hdmi kernel module from?

Follow-up: root cause was a case of PEBKAC. I had a MODULES_OVERRIDE
rule in /etc/make.conf that prevented building the linuxkpi* kernel modules.

It's working now. Sorry for the noise.

Philipp