[OpenBSD]

Manual Page Search Parameters

MVGICP(4) Device Drivers Manual MVGICP(4)

mvgicp
Marvell 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.

intro(4)

The mvgicp driver first appeared in OpenBSD 6.5.

The mvgicp driver was written by Patrick Wildt <patrick@openbsd.org>.
April 2, 2019 OpenBSD-current