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.

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