Can we really trust omni for kernel???