Fair point, but mate—did they actually get Linux running in the end, or still wrestling with it?