How to Boot FreeBSD Using pftf/RPi4 UEFI

ykla <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <CA+PGaYCCNOXPy_b-N=OvcAoQnN1WyhiLLe-a0cj9g=-3r0QCDw@mail.gmail.com> 
HI,

How to Boot FreeBSD Using pftf/RPi4 UEFI?

I downloaded FreeBSD-14.0-BETA2-arm64-aarch64-disc1.iso and Raspberry Pi 4
UEFI Firmware v1.35 and wrote them to my device. However, when I enable
ACPI, my Raspberry Pi 4 automatically restarts after loading. If I disable
ACPI and use the device tree, the screen goes black after loading for a
while, and nothing is displayed. In both of these cases, there is no output
on the serial port. Does anyone know how to configure the serial port for
UEFI Firmware? I've used the serial port before with the regular
installation method and it worked for output, but with UEFI Firmware, there
is no output on the serial port.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.