Hi! Really love OpenBSD and would like to get it working on my Samsung Galaxy Book Flex2 Alpha. NP730QDA-KA3US. Just offering this up because I can't send a dmesg. I get a kernel panic at boot with the following screen,
https://photos.app.goo.gl/2NNHiTtG6LbTc5nx6 I believe it may be a bug in the acpi bios code for which there is no firmware update. It boots, linux, win 10/11, net and freebsds fine with acpi errors. I tried to disable acpi to see if I could get it installed and the installer ran but could not find the ethernet, wifi or ssd. Can anyone help with this? I'd be glad to provide more info if there is a way. Thanks, Jeff
