On Fri, 2 Sep 2022 16:41:11 +0200, Maxime Ripard wrote: > The VC4 HDMI controller driver relies on the HDMI codec ASoC driver. In > order to set it up properly, in vc4_hdmi_audio_init(), our HDMI driver > will register a device matching the HDMI codec driver, and then register > an ASoC card using that codec. > > However, if vc4 is compiled as a module, chances are that the hdmi-codec > driver will be too. In such a case, the module loader will have a very > narrow window to load the module between the device registration and the > card registration. > > [...] Applied to drm/drm-misc (drm-misc-fixes). Thanks! Maxime