#
# ARM SoC support
#

# Bus drivers
device		pci_n1sdp		# ARM Neoverse N1 SDP PCI

# GPIO / PINCTRL
device		pl061			# Arm PL061 GPIO controller

# Serial (COM) ports
device		pl011

device		arm_doorbell		# ARM Message Handling Unit (MHU)

options 	FDT
device		acpi