Hi, I can't boot on my device <https://consumer.huawei.com/en/laptops/matebook-e-go/specs/>, this tablet is shipped with sc8280xp(qualcomm 8cx gen3). When I startup, the screen shows the following
``` disk: sd0* sd1 sd2 >> OpenBSD/arm64 BOOTAA64 1.18 boot> cannot open sd0a:/etc/random.seed: No such file or directory booting sd0a:/bsd: 3023768+1214656+12712936+633232 [269381+91+701664+287051]=0x13edb50 FACP SSDT BGRT CSRT DBG2 GTDT IORT APIC MCFG PPTT SPCR TPM2 MSDM DLUT BGRT FPDT ``` But I found the post of OpenBSD, it mentioned that OpenBSD has supported SC8280xp devices since 7.2 <https://www.openbsd.org/72.html>. The acpi tables which show on the screen(FACP SSDT ... ), you can find here <https://github.com/5-Super-Rookie-5/Huawei-Matebook-E-GO/tree/main/ACPI>. Any comments are welcome. Thanks.