On 12/1/24 12:33, Cédric Le Goater wrote:
On 1/12/24 11:55, Thomas Huth wrote:
> On 12/01/2024 06.21, Harsh Prateek Bora wrote:
>> Hmm .. I would certainly vote for 'p' over
'plus'.
>
> Ok, I don't mind either way ... does anybody else have any preferences?
p is fine.
We also use 'p' for '+' / 'plus' on ARM Raspberry Pi:
$ qemu-system-aarch64 -M help | grep -F raspi
raspi0 Raspberry Pi Zero (revision 1.2)
raspi1ap Raspberry Pi A+ (revision 1.1)
raspi2b Raspberry Pi 2B (revision 1.1)
raspi3ap Raspberry Pi 3A+ (revision 1.0)
raspi3b Raspberry Pi 3B (revision 1.2)