An equivalence between two frameworks for real algebraic K-theory

We prove an equivalence between the real $K$-theory genuine $C_2$-spectra of Calmès et al. for Poincaré $\mathrm{\infty }$-categories and the one of the authors of this work for Waldhausen $\mathrm{\infty }$-categories with genuine duality.