OpenBSD manual page server

Manual Page Search Parameters

RKPCIE(4) Device Drivers Manual RKPCIE(4)

Rockchip RK3399 Host/PCIe bridge

rkpcie* at fdt?
pci* at rkpcie?

The rkpcie driver provides support for the PCIe controller found on the Rockchip RK3399 SoC.

intro(4), pci(4)

The rkpcie driver first appeared in OpenBSD 6.3.

The rkpcie driver was written by Mark Kettenis
January 3, 2018 OpenBSD-current