RKPCIE(4) Device Drivers Manual RKPCIE(4)

rkpcie — 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 <kettenis@openbsd.org>.

OpenBSD 7.8 June 20, 2020 RKPCIE(4)