This talk is based on joint work with Tsao-Hsien Chen, Mark Macerato, and David Nadler. In his thesis, Nadler proved a version of the Geometric Satake for real reductive groups--describing certain equivariant perverse sheaves on the real affine Grassmannian in terms of representations of the relative dual group. The description should extend to the full equivariant derived category, in a manner similar to Bezrukavnikov-Finkelberg's Derived Satake for complex groups. We discuss cases where this is proven--including the quaternionic linear groups--and current progress towards a general proof.