Links for kernelchecker