The range of united K-theory

We prove that the united K-theory functor is a surjective functor from the category of real simple separable purely infinite C∗-algebras to the category of countable acyclic CRT-modules. As a consequence, we show that every complex Kirchberg algebra satisfying the universal coefficient theorem is the complexification of a real C∗-algebra.