For what it's worth, I believe that the RPi4B now also has an option for 8GB RAM...

sixothree · on June 25, 2020

And the 32 bit os can access it all (just not per process).

FractalParadigm · on June 25, 2020

The joys of PAE.

For what it's worth, there are 64-bit distros available for the Pi4. IIRC Raspberry Pi OS (formerly known as Raspbian) has been fully 64-bit since the release of the 8GB model, and I know Ubuntu Server offered a 64-bit image for some time before that.

tyingq · on June 25, 2020

Well, they do have a beta out: https://www.raspberrypi.org/forums/viewtopic.php?t=275370