mantel kernel source