Character sheaves in characteristic $p$ have nilpotent singular support

We prove that character sheaves have nilpotent singular support in any characteristic, partially extending the work of Mirkovic, Vilonen and independently Ginzburg to positive characteristic. We do this by introducing a category of tame perverse sheaves and studying its properties.