kernel to cmake