RKPCIE(4) - Device Drivers Manual

RKPCIE(4) - Device Drivers Manual # RKPCIE(4) - Device Drivers Manual NAME # rkpcie - Rockchip RK3399 Host/PCIe bridge SYNOPSIS # rkpcie* at fdt? pci* at rkpcie? DESCRIPTION # The rkpcie driver provides support for the PCIe controller found on the Rockchip RK3399 SoC. SEE ALSO # intro(4), pci(4) HISTORY # The rkpcie driver first appeared in OpenBSD 6.3. AUTHORS # The rkpcie driver was written by Mark Kettenis <kettenis@openbsd. ...