kernels corresponding to binaries