Edit: Answering my own question - some "HowTo" blogs on making Pi gaming machines say that 8gb is sufficient and can hold hundreds, or even thousands, of old-school game ROMs, so that should be enough ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results