Linux kernel repository for KnCMiner products