Re: Rockchip RK3328 Rock64 HDMI

On Sep 20, 2024, at 10:22, Christoph Pfaller <pfaller@protonmail.com> wrote:

> 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.

What vintage of the Linux materials were you comparing against?

https://cgit.freebsd.org/src/log/sys/contrib/device-tree/

shows the most recent import to main [so: 15] was:
"Import device-tree files from Linux 6.8" on 2024-05-06.
6.6 and 6.7 were imported earlier that same day, so
previously FreeBSD was based on 6.5 .

FreeBSD deliberately does not track Linux-version-by-Linux-version,
nor at the same time Linux released what FreeBSD synchronizes to.

> 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.





===
Mark Millard
marklmi at yahoo.com