Divided Dieudonn\'e crystals

We define a category of divided Dieudonn'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally complete intersections this generalizes and extends known results on the classical crystalline Dieudonn'e functor.