cdf on linux kernel