Default MiniCM10

Guys Is there any OC kernel for minicm10 ?