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