One needs Real ID to enter US federal buildings. For example for disability hearings.
For getting the real ID one needs a US birth certificate. One of my US friends was born in Germany on or near a US military base. I got her her birth certificate from the German office. It’s not considered a US birth certificate for Real ID purposes ?!?!?!
She will probably get her Real ID eventually with some extra forms but it takes forever.