Philippe Mathieu-Daudé <address@hidden> writes:
Hi Sergio,
On 10/16/19 12:12 PM, Sergio Lopez wrote:
+Supported devices
+-----------------
+
+The microvm machine type supports the following devices:
+
+- ISA bus
+- i8259 PIC (optional)
+- i8254 PIT (optional)
+- MC146818 RTC (optional)
+- One ISA serial port (optional)
+- LAPIC
+- IOAPIC (with kernel-irqchip=split by default)
+- kvmclock (if using KVM)
+- fw_cfg
+- Up to eight virtio-mmio devices (configured by the user)
If we have VirtIO devices, why not use virtio-serial instead of the
one on the ISA bus?
The serial port on the ISA bus is simpler, and thus is supported for
both SeaBIOS debugging and Linux's earlyprintk. This makes it *very*
convenient for debugging boot issues.