How to Boot FreeBSD Using pftf/RPi4 UEFI

Reply: Mark Millard : "Re: How to Boot FreeBSD Using pftf/RPi4 UEFI"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: ykla <yklaxds_at_gmail.com>
Date: Thu, 21 Sep 2023 05:45:15 UTC

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.