Hi Warner,
On 1/20/25 10:36, Warner Losh wrote:
On Sun, Jan 19, 2025 at 6:32 PM FUKAUMI Naoki <na...@radxa.com
<mailto:na...@radxa.com>> wrote:
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 <mailto: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...
Maybe there's a flaw in the SPCR entry (or maybe the OpenBSD parsing
code or other assumptions). Can you share that with the list?
Below is the output from efiboot. Does this mean there is no SPCR table?
----
disks: sd0* sd1
>> OpenBSD/arm64 BOOTAA64 1.20
boot>
booting sd0a:/bsd: 11519740+2776632+299032+849160
[934269+91+1308336+810852]=0x1
402018
FACP SSDT CSRT DBG2 GTDT IORT SDEI APIC SSDT MCFG
----
By the way, I managed to take another screenshot.
https://drive.google.com/file/d/1kGrIpjP9CScCBCQqVTg7pM1Y8bBj8sfV/view?usp=sharing
For now it looks like acpipci should be disabled.
Best regards,
--
FUKAUMI Naoki
Radxa Computer (Shenzhen) Co., Ltd.
