Real K-theory for Waldhausen infinity categories with genuine duality.

We construct a connective genuine C_2-spectrum of real K-theory for every Waldhausen infinity category with genuine duality via a hermitian version of Waldhausen's S-construction. We characterize real K-theory as the universal theory satisfying additivity.