diff --git a/sys/arm/conf/RPI-B b/sys/arm/conf/RPI-B
index ebaa0462b155..3d354841beba 100644
--- a/sys/arm/conf/RPI-B
+++ b/sys/arm/conf/RPI-B
@@ -1,101 +1,110 @@
 #
 # RPI-B -- Custom configuration for the Raspberry Pi
 #
 # For more information on this file, please read the config(5) manual page,
 # and/or the handbook section on Kernel Configuration Files:
 #
 #    https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
 #
 # The handbook is also available locally in /usr/share/doc/handbook
 # if you've installed the doc distribution, otherwise always see the
 # FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
 # latest information.
 #
 # An exhaustive list of options and more detailed explanations of the
 # device lines is also present in the ../../conf/NOTES and NOTES files.
 # If you are in doubt as to the purpose or necessity of a line, check first
 # in NOTES.
 #
 # $FreeBSD$
 
 ident		RPI-B
 
 include 	"std.armv6"
 include 	"../broadcom/bcm2835/std.rpi"
 include 	"../broadcom/bcm2835/std.bcm2835"
 
 options 	SCHED_4BSD		# 4BSD scheduler
 options 	PLATFORM
 
 # NFS root from boopt/dhcp
 #options 	BOOTP
 #options 	BOOTP_NFSROOT
 #options 	BOOTP_COMPAT
 #options 	BOOTP_NFSV3
 #options 	BOOTP_WIRED_TO=ue0
 
 #options 	ROOTDEVNAME=\"ufs:mmcsd0s2\"
 
+# EXT_RESOURCES pseudo devices
+options 	EXT_RESOURCES
+device		clk
+device		phy
+device		hwreset
+device		nvmem
+device		regulator
+device		syscon
+
 device		bpf
 device		loop
 device		ether
 device		uart
 device		pty
 device		snp
 device		pl011
 
 # Device mode support
 device		usb_template    	# Control of the gadget
 
 # Comment following lines for boot console on serial port
 device		vt
 device		kbdmux
 device		ukbd
 
 device		sdhci
 device		mmc
 device		mmcsd
 
 device		gpio
 device		gpioled
 
 # I2C
 device		iic
 device		iicbus
 device		bcm2835_bsc
 
 device		md
 
 # USB support
 device		usb
 device		dwcotg			# DWC OTG controller
 
 # USB storage support
 device		scbus
 device		da
 device		umass
 
 # USB ethernet support
 device		smscphy
 device		mii
 device		smsc
 
 # SPI
 device		spibus
 device		bcm2835_spi
 
 device		vchiq
 device		sound
 
 device		fdt_pinctrl
 
 # HID support
 device		hid			# Generic HID support
 
 # Flattened Device Tree
 options 	FDT			# Configure using FDT/DTB data
 # Note:  DTB is normally loaded and modified by RPi boot loader, then
 # handed to kernel via U-Boot and ubldr.
 #options 	FDT_DTB_STATIC
 #makeoptions	FDT_DTS_FILE=rpi.dts
 makeoptions	MODULES_EXTRA="dtb/rpi rpi_ft5406"