Hi,
I found a typo.
# It doesn't fix our problem.
--
FUKAUMI Naoki
Radxa Computer (Shenzhen) Co., Ltd.
Index: sys/arch/arm64/stand/efiboot/efiacpi.c
===================================================================
RCS file: /cvs/src/sys/arch/arm64/stand/efiboot/efiacpi.c,v
diff -u -p -u -r1.18 efiacpi.c
--- sys/arch/arm64/stand/efiboot/efiacpi.c 29 Jan 2025 22:50:16 -0000
1.18
+++ sys/arch/arm64/stand/efiboot/efiacpi.c 30 Jan 2025 07:33:03 -0000
@@ -417,7 +417,7 @@ efi_acpi_gtdt(struct acpi_table_header *
interrupts[8] = htobe32(map[gtdt->virt_flags & mask]);
interrupts[9] = htobe32(1);
interrupts[10] = htobe32(gtdt->nonsec_el2_interrupt - 16);
- interrupts[11] = htobe32(map[gtdt->virt_flags & mask]);
+ interrupts[11] = htobe32(map[gtdt->nonsec_el2_flags & mask]);
node = fdt_find_node("/timer");
fdt_node_set_property(node, "interrupts",
