kernel module that supports usb-c hdmi

[alexandre]

Hi, I currently run a 5.7 kernel on my pinebookpro that supports my usb-c hub, especially its HDMI output. I got it installing archlinuxarm from a repo that was called «simulated-earth» or something like this (thanks to those guys if they ever read me ). But as this repo is dead for a while now, i'm still using this pretty old kernel. I've tried the one provided by Nadia, which is very up-to-date, but cant, unfortunately, make my HDMI output works. I assume this is du to a specific kernel module, but as I am far from being an expert I can just show you the return of lsmod, and ask you for your help if you can identify if there really is an exotic module that should be responsible for this well behavior of this kernel :

rpcsec_gss_krb5        36864  0
snd_usb_audio        266240  2
snd_usbmidi_lib        40960  1 snd_usb_audio
snd_hwdep              20480  1 snd_usb_audio
snd_rawmidi            45056  1 snd_usbmidi_lib
snd_seq_device        20480  1 snd_rawmidi
snd_soc_hdmi_codec    16384  0
cdc_ether              20480  0
usbnet                49152  1 cdc_ether
r8152                  86016  0
mii                    20480  2 usbnet,r8152
snd_soc_simple_amplifier    16384  1
panfrost              65536  0
gpu_sched              32768  1 panfrost
hci_uart              118784  0
btqca                  16384  1 hci_uart
btbcm                  24576  1 hci_uart
btintel                32768  1 hci_uart
joydev                32768  0
bluetooth            454656  5 btqca,btintel,hci_uart,btbcm
snd_soc_rockchip_i2s    16384  2
snd_soc_rockchip_pcm    16384  1 snd_soc_rockchip_i2s
rockchip_rga          28672  0
dw_wdt                20480  0
videobuf2_dma_sg      24576  1 rockchip_rga
cw2015_battery        16384  0
ecdh_generic          16384  1 bluetooth
ecc                    32768  1 ecdh_generic
rfkill                40960  2 bluetooth
hantro_vpu            90112  0
snd_soc_es8316        40960  1
rockchipdrm          147456  2
dw_mipi_dsi            20480  1 rockchipdrm
dw_hdmi                53248  1 rockchipdrm
analogix_dp            45056  1 rockchipdrm
cec                    61440  1 dw_hdmi
rockchip_saradc        16384  0
rc_core                57344  1 cec
drm_kms_helper        241664  4 dw_mipi_dsi,rockchipdrm,dw_hdmi,analogix_dp
rockchip_thermal      24576  0
syscopyarea            16384  1 drm_kms_helper
sysfillrect            16384  1 drm_kms_helper
sysimgblt              16384  1 drm_kms_helper
fb_sys_fops            16384  1 drm_kms_helper
snd_soc_simple_card    20480  1
snd_soc_simple_card_utils    24576  1 snd_soc_simple_card
panel_simple          81920  0
pwm_bl                16384  0
drm                  622592  10 gpu_sched,drm_kms_helper,dw_mipi_dsi,panel_simple,rockchipdrm,dw_hdmi,panfrost,analogix_dp
drm_panel_orientation_quirks    20480  1 drm
gpio_keys              24576  0
hid_multitouch        32768  0


Thanks for any suggestions,
alex