Hi Patrick, Mark,
On 1/22/25 06:45, Patrick Wildt wrote:
If you look at your full dmesg you can see all the tables:
[ 0.000000] ACPI: RSDP 0x0000000479C30018 000024 (v02 CIXTEK)
[ 0.000000] ACPI: XSDT 0x0000000479C3FE98 000074 (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: 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)
There's no SPCR, only DBG2. So either there's a way in edk2 to enable
SPCR (there surely is, albeit maybe in code not in the user interface),
or we wait for Mark to have a diff for DBG2.
I found the key to enable the SPCR table in EDK2. I rebuilt the UEFI and
the SPCR table started to appear. But on OpenBSD things got worse, I
lost output on both serial and HDMI...
OpenBSD(efiboot):
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
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)
FreeBSD(worse than before = no output from both serial and HDMI)
Best regards,
--
FUKAUMI Naoki
Radxa Computer (Shenzhen) Co., Ltd.
