Links for coq-kernel