On Thu, Jul 26, 2018 at 12:56:22PM +0200, Ard Biesheuvel wrote: > 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? :-) >
Also fine by me, but I'm not going to suggest the name. I fear the backlash I'd receive after this mail thread!