On 26 July 2018 at 11:46, Andrew Jones <drjo...@redhat.com> wrote: > i440fx and q35 are specific machine types. 'sbsa' is a generic machine > type that conforms to the SBSA specification. If you weren't trying to > memory map AHCI and EHCI controllers, or if memory mapped AHCI and EHCI > controllers were mandated in the SBSA spec, then there wouldn't be > anything to discuss. But that's not the case. You're attempting to > hard code one instance of a generic class of SBSA machines, but then > just call it 'sbsa'.
Modelling a 'generic SBSA machine' is not the goal here (I'm not sure that's even possible or useful), so let's just stipulate that we'll call the machine type something else and move on ? thanks -- PMM
