1# 2# Virt SoC support 3# 4 5# Block devices 6device pvscsi # VMware PVSCSI 7 8# GPIO / PINCTRL 9device pl061 # Arm PL061 GPIO controller 10 11# Serial (COM) ports 12device pl011 13 14# PCI/PCI-X/PCIe Ethernet NICs that use iflib infrastructure 15device vmx # VMware VMXNET3 Ethernet 16 17# VirtIO support 18device virtio # Generic VirtIO bus (required) 19device virtio_pci # VirtIO PCI device 20device virtio_mmio # VirtIO Memory Mapped IO device 21device virtio_blk # VirtIO Block device 22device virtio_scsi # VirtIO SCSI device 23device vtnet # VirtIO Ethernet device 24 25options FDT 26device acpi 27device acpi_ged 28