C2-equivariant stable homotopy from realmotivic stable homotopy

We give a method for computing the [math] -equivariant homotopy groups of the Betti realization of a [math] -complete cellular motivic spectrum over [math] in terms of its motivic homotopy groups. More generally, we show that Betti realization presents the [math] -equivariant [math] -complete stable homotopy category as a localization of the [math] -complete cellular real motivic stable homotopy category.