On Sun, Jan 19, 2025 at 6:32 PM FUKAUMI Naoki <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> > > > > 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? Warner > 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. > >
