OpenBSD manual page server

Manual Page Search Parameters

MVKPCIE(4) Device Drivers Manual MVKPCIE(4)

mvkpcieMarvell 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 <>.

December 3, 2020 OpenBSD-current