Re: Radxa Orion O6

[FUKAUMI Naoki <naoki%radxa.com@localhost>]

Hi,

On 1/19/25 14:16, FUKAUMI Naoki wrote:
> I'm trying to boot NetBSD/evbarm-aarch64 on a Radxa Orion O6.
>
> So far I've taken some screenshots of the display output.
>
> No tweak:
>   https://drive.google.com/file/d/1wVBIDpObjyuX3s1hGHuIYc17MrGiY-4_/ 
> view?usp=drive_link
>
> +noefirt:
>   https://drive.google.com/file/d/1WkjCxHyJBv7eju0NgwgTAODEVCo0fj3Y/ 
> view?usp=sharing
>
> +noefirt -xhci:
>   https://drive.google.com/file/d/1wz2UsY6BkgXSgqveB2U3I9TSSP1BByFL/ 
> view?usp=sharing
>
> +noefirt -xhci -cpu[1-9a-b]:
>   https://drive.google.com/file/d/1CC9tczH9u-1FmmvdR_3W1kd5_bVaBGLg/ 
> view?usp=sharing
>
> Could you please give me some advice?

I found the key to enable the SPCR (Serial Port Console Redirection) 
table in EDK2. I rebuilt the UEFI and the SPCR table started to appear. 
But on NetBSD nothing changes, only the HDMI output is displayed.

NetBSD(same as before = only HDMI works):
[     1.000000] ACPI: RSDP 0x0000000479C30018 000024 (v02 CIXTEK)
[     1.000000] ACPI: XSDT 0x0000000479C3FE98 00007C (v01 CIXTEK 
SKY1EDK2 01000101      01000013)
[     1.000000] ACPI: FACP 0x0000000479C3FC98 00010C (v05 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: DSDT 0x0000000479C10018 012C20 (v05 CIXTEK 
SKY1EDK2 00000001 INTL 20200925)
[     1.000000] ACPI: SSDT 0x0000000479C37518 002FCA (v05 CIXTEK 
SKY1EDK2 00000001 INTL 20200925)
[     1.000000] ACPI: CSRT 0x0000000479C3FA98 00008C (v00 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: DBG2 0x0000000479C3FB98 00005C (v00 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: GTDT 0x0000000479C3E998 000084 (v03 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: IORT 0x0000000479C3BD18 000AD8 (v05 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: SDEI 0x0000000479C3FE18 000024 (v01 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: SPCR 0x0000000479C3FF98 000050 (v02 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: APIC 0x0000000479C3EA98 000428 (v05 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: SSDT 0x0000000479C3CE18 0011FC (v02 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)
[     1.000000] ACPI: MCFG 0x0000000479C3F918 00007C (v01 CIXTEK 
SKY1EDK2 01000101 CIX  00000001)

Linux(same as before = both serial and HDMI work):
[    0.000000] ACPI: RSDP 0x0000000479C30018 000024 (v02 CIXTEK)
[    0.000000] ACPI: XSDT 0x0000000479C3FE98 00007C (v01 CIXTEK SKY1EDK2 
01000101      01000013)
[    0.000000] ACPI: FACP 0x0000000479C3FC98 00010C (v05 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: DSDT 0x0000000479C10018 012C20 (v05 CIXTEK SKY1EDK2 
00000001 INTL 20200925)
[    0.000000] ACPI: SSDT 0x0000000479C37518 002FCA (v05 CIXTEK SKY1EDK2 
00000001 INTL 20200925)
[    0.000000] ACPI: CSRT 0x0000000479C3FA98 00008C (v00 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: DBG2 0x0000000479C3FB98 00005C (v00 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: GTDT 0x0000000479C3E998 000084 (v03 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: IORT 0x0000000479C3BD18 000AD8 (v05 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: SDEI 0x0000000479C3FE18 000024 (v01 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: SPCR 0x0000000479C3FF98 000050 (v02 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: APIC 0x0000000479C3EA98 000428 (v05 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: SSDT 0x0000000479C3CE18 0011FC (v02 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: MCFG 0x0000000479C3F918 00006C (v01 CIXTEK SKY1EDK2 
01000101 CIX  00000001)
[    0.000000] ACPI: SPCR: console: pl011,mmio32,0x40e0000,115200
[    0.000000] ACPI: Use ACPI SPCR as default console: Yes

FreeBSD(worse than before = no output from both serial and HDMI)

OpenBSD(worse than before = no output from both serial and HDMI):
boot>
NOTE: random seed is being reused.
booting sd0a:/bsd: 11519740+2776632+299032+849160 
[934269+91+1308336+810852]=0x1
402018
FACP SSDT CSRT DBG2 GTDT IORT SDEI SPCR APIC SSDT MCFG

Best regards,

--
FUKAUMI Naoki
Radxa Computer (Shenzhen) Co., Ltd.