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

Reply via email to