  We use E. Lau's classification of 2-divisible groups using Dieudonn\'e
displays to construct integral canonical models for Shimura varieties of
abelian type at 2-adic places where the level is hyperspecial. We apply this to
prove the Tate conjecture for K3 surfaces in characteristic 2.
