Can I use the Rasberry Pi OS?

Mention of 8GB Pi4 working:

(see also the comment from @r.w.bowman in the next post in that thread)