RockPro64 won't boot if HDMI is connected

[Emmanuel Vadot]

On Thu, 28 Jan 2021 17:26:32 +0200
Roman Zaynetdinov <a at zaynetro.com> wrote:

> Hi,
> 
> I am running FreeBSD 13 Alpha 2. Things work fine and I am really satisfied with the overall experience.
> 
> When I connect to my TV with an HDMI cable then kernel won?t boot. This is what I see on the TV or when I connect with serial (TV will not show any text when serial is connected though). Nothing happens after these lines:
> 
> Booting [/boot/kernel/kernel]...
> Using DTB provided by EFI at 0x80ea000.
> EFI framebuffer information:
> addr, size     0xf6000000, 0x1fa4000
> dimensions     3840 x 2160
> stride         3840
> masks          0x00ff0000, 0x0000ff00, 0x000000ff, 0xff000000
> 
> For reference, this is what happens when I boot without HDMI connection:
> 
> Booting [/boot/kernel/kernel]...
> Using DTB provided by EFI at 0x80ea000.
> EFI framebuffer information:
> addr, size     0x0, 0x0
> dimensions     0 x 0
> stride         0
> masks          0x00000000, 0x00000000, 0x00000000, 0x00000000
> ---<<BOOT>>---
> Copyright (c) 1992-2021 The FreeBSD Project.
> Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
>         The Regents of the University of California. All rights reserved.
> FreeBSD is a registered trademark of The FreeBSD Foundation.
> FreeBSD 13.0-ALPHA2 #0 c256201-g02611ef8ee9: Fri Jan 22 06:37:59 UTC 2021
>     root at releng1.nyi.freebsd.org:/usr/obj/usr/src/arm64.aarch64/sys/GENERIC arm64
> 
> - Roman

 framebuffer size might be too big, could you test with a monitor that
have a smaller native resolution ?

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