Rockchip RK3328 Rock64 HDMI

Hello!

I recently switched to FreeBSD on my Rock64 due to appearing kernel panics when running the board with Linux. So far I enjoy the operating system. However; there is one little annoyance - the integrated HDMI output does not work. So I want to change that.

As we are on ARM my first intention was looking into the device tree for the rk3328. I compared it to Linux device tree and also found some missing parts. My next step was looking into the drivers itself and as the Linux drivers sources are available here https://github.com/torvalds/linux/tree/master/drivers/gpu/drm/rockchip I got some idea how the corresponding driver should look like.

However, I am unsure how I should proceed getting HDMI to work. Accodring to https://wiki.freebsd.org/arm/RockChip HDMI works for the rockchip rk3399 but I could not find any drivers neither in the freebsd-src or drm-kmod (I am new to FreeBSD so i don't know if this is even the right place to look for). I hope someone with more technical knowledge about FreeBSD or HDMI can provide me with some guidance on where I have to look and work on.

Greetings
pf0