OpenBSD manual page server

Manual Page Search Parameters

MVGICP(4) Device Drivers Manual MVGICP(4)

mvgicpMarvell ARMADA 7K/8K GICP controller

mvgicp* at fdt?

The mvgicp driver provides support for the GICP controller found on the Marvell ARMADA 7K/8K SoCs.


The mvgicp driver first appeared in OpenBSD 6.5.

The mvgicp driver was written by Patrick Wildt <>.

April 2, 2019 OpenBSD-current