MVKPCIE(4) Device Drivers Manual MVKPCIE(4)

mvkpcie — Marvell ARMADA 3700 Host/PCIe bridge

mvkpcie* at fdt?
pci* at mvkpcie?

The mvkpcie driver provides support for the PCIe controller found on the Marvell ARMADA 3710/3720 SoC.

intro(4), pci(4)

The mvkpcie driver first appeared in OpenBSD 6.8.

The mvkpcie driver was written by Patrick Wildt <patrick@blueri.se>.

OpenBSD 7.8 December 3, 2020 MVKPCIE(4)