Re: Rockchip RK3328 Rock64 HDMI

 Hi Christoph,

On Fri, 20 Sep 2024 17:22:58 +0000
Christoph Pfaller <pfaller@protonmail.com> wrote:

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

 At least efifb should work (which isn't ideal I know).

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

 We have an out of tree driver for rockchip stuff, only support rk3399
but adding rk3328 shouldn't be too hard I think.
 See https://github.com/evadot/drm-subtree/

> 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

 Cheers,

-- 
Emmanuel Vadot <manu@bidouilliste.com> <manu@freebsd.org>