Re: Radxa Orion O6

Reply: FUKAUMI Naoki : "Re: Radxa Orion O6"
In reply to: Warner Losh : "Re: Radxa Orion O6"
Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: FUKAUMI Naoki <naoki_at_radxa.com>
Date: Wed, 22 Jan 2025 03:02:27 UTC
Hi Warner,

On 1/22/25 06:26, Warner Losh wrote:
> I think there is... The loader thinks the console is only serial. Andy 
> Turner
> has a review to add additional pl011 types that are common but were missed
> by my initial parsing. Maybe all we need is https://reviews.freebsd.org/ 
> D48526 <https://reviews.freebsd.org/D48526>
> to get to the next level.

I think type is 0x03 on Orion O6.

$ grep 
EFI_ACPI_SERIAL_PORT_CONSOLE_REDIRECTION_TABLE_INTERFACE_TYPE_ARM_PL011_UART 
edk2/MdePkg/Include/IndustryStandard/SerialPortConsoleRedirectionTable.h 
edk2-platforms/Platform/CIX/Sky1/Drivers/AcpiSocTables/Spcr.aslc
edk2/MdePkg/Include/IndustryStandard/SerialPortConsoleRedirectionTable.h:#define 
EFI_ACPI_SERIAL_PORT_CONSOLE_REDIRECTION_TABLE_INTERFACE_TYPE_ARM_PL011_UART 
  0x03
edk2-platforms/Platform/CIX/Sky1/Drivers/AcpiSocTables/Spcr.aslc: 
EFI_ACPI_SERIAL_PORT_CONSOLE_REDIRECTION_TABLE_INTERFACE_TYPE_ARM_PL011_UART,


Btw, I found the key to enable the SPCR table in EDK2. I rebuilt the 
UEFI and the SPCR table started to appear. But on FreeBSD things got 
worse, I lost output on both serial and HDMI...

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

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)

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.