xref: /freebsd/sys/arm64/conf/std.virt (revision a9880bfe1181b7a32d026339bae113f24300e5e1)
10f2c6331SEmmanuel Vadot#
20f2c6331SEmmanuel Vadot# Virt SoC support
30f2c6331SEmmanuel Vadot#
40f2c6331SEmmanuel Vadot
50f2c6331SEmmanuel Vadot# Block devices
60f2c6331SEmmanuel Vadotdevice		pvscsi			# VMware PVSCSI
70f2c6331SEmmanuel Vadot
80f2c6331SEmmanuel Vadot# GPIO / PINCTRL
90f2c6331SEmmanuel Vadotdevice		pl061			# Arm PL061 GPIO controller
100f2c6331SEmmanuel Vadot
110f2c6331SEmmanuel Vadot# Serial (COM) ports
120f2c6331SEmmanuel Vadotdevice		pl011
130f2c6331SEmmanuel Vadot
140f2c6331SEmmanuel Vadot# PCI/PCI-X/PCIe Ethernet NICs that use iflib infrastructure
150f2c6331SEmmanuel Vadotdevice		vmx			# VMware VMXNET3 Ethernet
160f2c6331SEmmanuel Vadot
170f2c6331SEmmanuel Vadot# VirtIO support
180f2c6331SEmmanuel Vadotdevice		virtio			# Generic VirtIO bus (required)
190f2c6331SEmmanuel Vadotdevice		virtio_pci		# VirtIO PCI device
200f2c6331SEmmanuel Vadotdevice		virtio_mmio		# VirtIO Memory Mapped IO device
210f2c6331SEmmanuel Vadotdevice		virtio_blk		# VirtIO Block device
220f2c6331SEmmanuel Vadotdevice		virtio_scsi		# VirtIO SCSI device
230f2c6331SEmmanuel Vadotdevice		vtnet			# VirtIO Ethernet device
240f2c6331SEmmanuel Vadot
250f2c6331SEmmanuel Vadotoptions 	FDT
260f2c6331SEmmanuel Vadotdevice		acpi
27*a9880bfeSTakanori Watanabedevice		acpi_ged
28