Sorry no info available on cool linux. You may by chance find someone who knows about cool linux here, but you'd probably get better help post this question on their forum or mailing list.