Hi Mark,
On 1/20/25 00:27, Mark Kettenis wrote:
Date: Sun, 19 Jan 2025 12:35:59 +0900
From: FUKAUMI Naoki <na...@radxa.com>
Hello,
Hi,
I'm trying to boot OpenBSD/arm64 on a Radxa Orion O6.
UEFI has a "O/S Hardware Description Selection" menu where I can choose
"Device Tree" or "ACPI". "ACPI" allows me to boot a mainline Linux kernel.
With "ACPI" I can use the serial console with efiboot, but the kernel
output only shows up on the display after the kernel is loaded.
To support the serial console in "ACPI" mode, an SPCR table is needed.
Probably something that should be enabled in your EDK II build.
It looks like the SPCR is compiled and built in, but I'm not familiar
with EDK II...
At least the serial console works under mainline Linux in ACPI mode.
Here is a screenshot on the display:
https://drive.google.com/file/d/1EIrQO3qxl9F6AQO5y5mzeTleTbDauRqm/view?usp=sharing
Does it hang at that point?
Using "Device Tree" I was able to see the kernel panic occur using the
serial console (please see below).
Does the device tree have a #redistributor-regions property that is
set to a number larger than one?
I have included additional information in my previous email. Please
check it out.
Best regards,
--
FUKAUMI Naoki
Radxa Computer (Shenzhen) Co., Ltd.
