On 1/22/25 11:49, FUKAUMI Naoki wrote:
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...
^It was wrong. SPCR is working!
[ using 3054328 bytes of bsd ELF symbol table ]
Copyright (c) 1982, 1986, 1989, 1991, 1993
The Regents of the University of California. All rights reserved.
Copyright (c) 1995-2025 OpenBSD. All rights reserved.
https://www.OpenBSD.org
OpenBSD 7.6-current (GENERIC) #282: Fri Jan 17 13:42:14 MST 2025
dera...@arm64.openbsd.org:/usr/src/sys/arch/arm64/compile/GENERIC
real mem = 16952713216 (16167MB)
avail mem = 16293494784 (15538MB)
random: boothowto does not indicate good seed
mainbus0 at root: ACPI
psci0 at mainbus0: PSCI 1.1, SMCCC 1.2, SYSTEM_SUSPEND
efi0 at mainbus0: UEFI 2.7
efi0: EDK II rev 0x10000
smbios0 at efi0: SMBIOS 3.0.0
smbios0: vendor Radxa Computer (Shenzhen) Co., Ltd. version "1.0" date
Jan 1 1980
smbios0: Radxa Computer (Shenzhen) Co., Ltd. Radxa Orion O6
cpu0 at mainbus0 mpidr a00: ARM Cortex-A720 r0p1
cpu0: 64KB 64b/line 4-way L1 PIPT I-cache, 64KB 64b/line 4-way L1 D-cache
cpu0: 512KB 64b/line 8-way L2 cache
cpu0: 12288KB 64b/line 12-way L3 cache
cpu0:
TLBIOS+IRANGE,TS+AXFLAG,FHM,DP,SM4,SM3,SHA3,RDM,Atomic,CRC32,SHA2+SHA512,SHA1,AES+PMULL,XS,I8MM,DGH,BF16,SPECRES,SB,FRINTTS,LRCPC+LDAPUR,FCMA,JSCVT,DPB+DCCVADP,WFXT,ECV+CNTHCTL,ASID16,AFP,PAN+ATS1E1+EPAN,LO,HPDS,VH,HAFDBS,ECBHB,IDS,AT,CSV3,CSV2+SCXT,DIT,AdvSIMD+HP,FP+HP,BT,SSBS+MSR,MTE
apm0 at mainbus0
agintc0 at mainbus0 shift 4:4 nirq 544 nredist 12: "interrupt-controller"
agintcmsi0 at agintc0
agtimer0 at mainbus0: 1000000 kHz
acpi0 at mainbus0: ACPI 5.1
acpi0: sleep states
acpi0: tables DSDT FACP SSDT CSRT DBG2 GTDT IORT SDEI SPCR APIC SSDT MCFG
acpi0: wakeup devices
acpiiort0 at acpi0
acpimcfg0 at acpi0
acpimcfg0: addr 0x20000000, bus 96-127
acpimcfg0: addr 0x20000000, bus 48-79
acpimcfg0: addr 0x20000000, bus 0-31
"CIXHA016" at acpi0 not configured
"CIXHA017" at acpi0 not configured
"CIXHA018" at acpi0 not configured
pluart0 at acpi0 COM0 addr 0x40b0000/0x10000 irq 328
pluart1 at acpi0 COM1 addr 0x40c0000/0x10000 irq 329
pluart2 at acpi0 COM2 addr 0x40d0000/0x10000 irq 330
"PRP0001" at acpi0 not configured
"PRP0001" at acpi0 not configured
"PRP0001" at acpi0 not configured
"CIXHA019" at acpi0 not configured
"CIXHA001" at acpi0 not configured
"CIXHA001" at acpi0 not configured
"CIXHA001" at acpi0 not configured
"CIXHA001" at acpi0 not configured
"CIXHA010" at acpi0 not configured
"CIXA1019" at acpi0 not configured
"CIXHA020" at acpi0 not configured
"CIXHA021" at acpi0 not configured
"CIXHA018" at acpi0 not configured
"CIXHA018" at acpi0 not configured
"CIXH7020" at acpi0 not configured
"CIXHA004" at acpi0 not configured
"CIXHA005" at acpi0 not configured
"CIXHA006" at acpi0 not configured
"CIXHA008" at acpi0 not configured
"CIXHA009" at acpi0 not configured
"CIXHA000" at acpi0 not configured
"CIXHA007" at acpi0 not configured
"CIXH6060" at acpi0 not configured
"CIXH6061" at acpi0 not configured
"CIXH6062" at acpi0 not configured
"CIXHA018" at acpi0 not configured
"CIXH1002" at acpi0 not configured
"CIXH1003" at acpi0 not configured
"CIXH1003" at acpi0 not configured
"CIXH1003" at acpi0 not configured
"CIXH1003" at acpi0 not configured
"CIXH1003" at acpi0 not configured
"CIXH2011" at acpi0 not configured
"CIXH1007" at acpi0 not configured
"CIXH6020" at acpi0 not configured
"CIXHA018" at acpi0 not configured
"CIXH6000" at acpi0 not configured
"CIXHA014" at acpi0 not configured
"CIXH1006" at acpi0 not configured
"CIXH302C" at acpi0 not configured
"CIXH3024" at acpi0 not configured
"CIXH3023" at acpi0 not configured
"CIXH200B" at acpi0 not configured
"CIXH200D" at acpi0 not configured
"CIXH200D" at acpi0 not configured
"RTL5682" at acpi0 not configured
"CIXHA011" at acpi0 not configured
"CIXH200B" at acpi0 not configured
"RX8900" at acpi0 not configured
"CIXH3024" at acpi0 not configured
"CIXH200B" at acpi0 not configured
"CIXH3024" at acpi0 not configured
"CIXH200B" at acpi0 not configured
"CIXH200B" at acpi0 not configured
"CIXH200D" at acpi0 not configured
"CIXH200D" at acpi0 not configured
"CIXH2001" at acpi0 not configured
"SPT0001" at acpi0 not configured
"CIXH2001" at acpi0 not configured
"SPT0002" at acpi0 not configured
acpipci0 at acpi0 PCI2
pci0 at acpipci0
acpipci1 at acpi0 PCI3
panic: kernel diagnostic assertion "sc->sc_pc->pc_intr_v == NULL"
failed: file "
/usr/src/sys/arch/arm64/dev/acpipci.c", line 203
Stopped at panic+0x140: cmp w21, #0x0
TID PID UID PRFLAGS PFLAGS CPU COMMAND
* 0 0 0 0x10000 0x200 0 swapper
db_enter() at panic+0x13c
panic() at __assert+0x28
panic() at acpipci_attach+0x3c8
acpipci_parse_resources() at config_attach+0x210
config_attach() at acpi_foundhid+0x290
acpi_foundhid() at aml_find_node+0x7c
aml_find_node() at aml_find_node+0xa0
https://www.openbsd.org/ddb.html describes the minimum info required in bug
reports. Insufficient info makes it difficult to find and fix bugs.
ddb>
--
FUKAUMI Naoki
Radxa Computer (Shenzhen) Co., Ltd.
