Manifest for Stuxnet Kernels