  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.
