Good day!

I'm trying to get OpenBSD installed on an iEi PUZZLE-5030
(https://www.ieiworld.com/en/product/model.php?II=881) with the
PulM-10G4SF-XL710 add-in card. The system itself has 8x igc(4)
interfaces onboard, and the add-in card provides 4x ixl(4) via a
proprietary PCIe-looking connection.
The problem began during installation: when I booted with the add-in
card installed, the NVMe drive would not enumerate.  I don't have the
bsd.rd dmesg anymore, but I recall that sd0 was the USB drive, and I
seem to recall seeing a message "failed to allocate interrupt slot for
PIC msix ping -<big number>".  When I rebooted without the add-in card
installed, the NVMe drive enumerated as sd0 and I had no problems
installing.
Now once installed, I tried reinstalling the add-in card again and
OpenBSD hangs (I've waited about 5 minutes) at the point the kernel
attempts to mount the root filesystem.

This was tested with 7.5 as well as today's snapshot. I've attached
the console output from a working boot and a boot that hangs using
today's snapshot.
I have also attached a pcidump from a working boot.

The "BIOS" doesn't give me any options to disable onboard peripherals,
so no way to possibly "free up" PCIe resources or anything.

Unfortunately I don't have any different add-in modules to try with this.
I have tried it with the module in both available slots.
I do have a couple of x1 PCIe cards (an old Intel gigabit NIC, and a
SATA controller) I installed in the system's PCIe slots, with the
add-in module removed, expecting to reproduce the issue, but it booted
alright (mounted root, etc). I'm not quite sure if those PCIe cards
are working however because the NIC doesn't seem to be supported
(doesn't show in ifconfig or dmesg) and I don't have a SATA device to
connect (specifically the system has no power cables). I have attached
dmesg and pcidump as "*.pcie-cards" in case these help in diagnosing.

I'm more than willing to try any suggested config(8) changes or kernel
patches, I just don't know where to start when the problem seems to be
"PCI doesn't work" - that's a bit beyond my hacking ability. Any
guidance or "based on your dmesg, {blank} is what's not working" would
be hugely appreciated!

Best Regards,
Bryce Chidester
bryce@cobryce.com

• dmesg.boots (13K)
• dmesg.hang (13K)
• pcidump.boots (38K)
• dmesg.pcie-cards (13K)
• pcidump.pcie-cards (53K)