Would i be able to use something like this in the near future to produce a proprietary linux kernel?