On Mon, 26 Feb 2024 at 18:09, Peter Maydell <peter.mayd...@linaro.org> wrote: > I think the one question I have left is the name of the > board: currently it's "raspi4b-2g", but should we name > it just "raspi4b"? None of the names we use for the other > raspi boards we model have a suffix like the "-2g" here. > Philippe, do you have an opinion here ?
I had a look at what the different raspi4 models are, and it looks like they're all the same except for the amount of RAM. For QEMU, if we wanted to allow users to pick the RAM size we'd do it via the -m option, not by using different model names. So I think on that basis and to match the existing raspi machine names, we should call this simply "raspi4b". So I'll make that name change in the patches I have in target-arm.next. thanks -- PMM
