On Thu, Jun 14, 2018 at 11:15:04AM +0200, Paolo Bonzini wrote:
On 14/06/2018 12:53, Samuel Ortiz wrote:
- the ARM virt machine type is not a "virtual hardware platform". It has PL011 serial, PL031 RTC, PL061 GPIO controller, a generic PCIe bridge, fw_cfg for the firmware to get data from QEMU, and emulated flash. The idea behind the ARM virt machine type is simply to make everything discoverable via device tree; the "virtualness" of it is simply that the device tree is provided by QEMU and not embedded into something like U-Boot or Linux.
Yes, we're aware of that. It's also one of the very few ARM machine type that does not map to an existing SoC. On that topic, one question: Would you be accepting patches for optionally making the ARM virt machine discoverable through ACPI only? Booting an ARM64 kernel on top of that should work in theory at least.
I'm not the maintainer of the ARM virt machine, so I don't know even what the hurdles are. :) Fair enough :)
As you probably know, the ARM virt machine is already providing ACPI tables built by QEMU, in addition to the device tree. It includes the UART, flash, virtio-mmio devices, GPIO, but for some reason not the RTC which is only included in the device tree. Probably because it's only meant to be used via the UEFI runtime services, but that's just a guess. Yes, I quickly hacked it to not add any DT at all, and force an ACPI boot but that did not work. Will try to investigate a little further.
Cheers, Samuel. --------------------------------------------------------------------- Intel Corporation SAS (French simplified joint stock company) Registered headquarters: "Les Montalets"- 2, rue de Paris, 92196 Meudon Cedex, France Registration Number: 302 456 199 R.C.S. NANTERRE Capital: 4,572,000 Euros This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies.