On 26 July 2018 at 12:52, Peter Maydell <peter.mayd...@linaro.org> wrote: > 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 ? >
Fine with me. Care to suggest a name? :-)