  We construct a geometric realization of categories of representations of
affine Hecke algebras and split reductive $p$-adic groups via a $K$-motivic
Springer theory. We suggest a connection to the coherent Springer theory of
Ben-Zvi, Chen, Helm, and Nadler through a categorical Chern character and
outline results and conjectures on $K$-motives within the Langlands program.
  To achieve our results, we introduce a six functor formalism for reduced
$K$-motives applicable to linearly reductive stacks and establish formality for
categories of Springer $K$-motives. We work within a broader framework of Hecke
algebras derived from Springer data. This makes the results applicable, for
example, to the ($K$-theoretic) quiver Hecke and Schur algebra. Moreover, we
relate our constructions to prior geometric realizations for graded Hecke
algebras.
