Enable rkpcie(4).

diff --git a/sys/arch/arm64/conf/GENERIC b/sys/arch/arm64/conf/GENERIC
index df047a4..7a22c87 100644 (file)
--- a/sys/arch/arm64/conf/GENERIC
+++ b/sys/arch/arm64/conf/GENERIC
@@ -1,4 +1,4 @@
-# $OpenBSD: GENERIC,v 1.46 2017/12/31 13:54:48 kettenis Exp $
+# $OpenBSD: GENERIC,v 1.47 2018/01/02 22:47:45 kettenis Exp $
 #
 # GENERIC machine description file
 #
@@ -96,6 +96,8 @@ rkpinctrl*    at fdt? early 1
 rkgpio*                at fdt?
 rkiic*         at fdt?
 iic*           at rkiic?
+rkpcie*                at fdt?
+pci*           at rkpcie?
 rktemp*                at fdt?
 rkdwusb*       at fdt?
 dwmmc*         at fdt?

diff --git a/sys/arch/arm64/conf/RAMDISK b/sys/arch/arm64/conf/RAMDISK
index b941f49..0a2a8ce 100644 (file)
--- a/sys/arch/arm64/conf/RAMDISK
+++ b/sys/arch/arm64/conf/RAMDISK
@@ -1,4 +1,4 @@
-# $OpenBSD: RAMDISK,v 1.40 2017/12/16 14:15:56 kettenis Exp $
+# $OpenBSD: RAMDISK,v 1.41 2018/01/02 22:47:45 kettenis Exp $
 #
 # GENERIC machine description file
 #
@@ -103,6 +103,8 @@ rkpinctrl*  at fdt? early 1
 rkgpio*                at fdt?
 rkiic*         at fdt?
 iic*           at rkiic?
+rkpcie*                at fdt?
+pci*           at rkpcie?
 rkdwusb*       at fdt?
 dwmmc*         at fdt?
 sdmmc*         at dwmmc?