RockPro64 won't boot if HDMI is connected

[Roman Zaynetdinov]

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