On 3 October 2018 at 16:07, Edgar E. Iglesias <edgar.igles...@gmail.com> wrote: > In QEMU we'd like to have a virtual developer board with the Versal SoC > and a selected set of peripherals under the control of QEMU. > We'd like to gradually extend this board as QEMU gains more support > for Versal hardware components. QEMU will generate a device-tree > describing only the components it supports and includes in the virtual > dev board.
So, the SoC implementation and the GEM and HVC bugfix patches here are straightforward. What I'm less sure about is the "virtual" nature of the board model. What do we gain doing this rather than just modelling some particular Versal dev board? At the moment we have a fairly clear distinction: * most machine models are models of real hardware, and the real hardware is the litmus test for how things are supposed to work (and, like real hardware, the user provides the DTB) * the "virt" board is special, because it is purely virtual and contains only a few specific devices, so it can run Linux guests This would seem to be an odd hybrid, with an SoC that's a model of real hardware but also some virtual "QEMU controls what's present and creates the dtb" aspects. thanks -- PMM