Gabe has been public about supporting Linux as a gaming platform but I'm not really sure how much he is involved in on the day to day. If you follow what they're doing Pierre-Loup (PL) seems to be driving most of their Linux work.