Comment by sinuhe69

What does “verified” mean here? Someone has formalized verified the kernels or just different kernels cross check each others?