Linux was the first and for a long long time only OS kernel supported by the T2 SDE. Most T2 developers have grown up and took part of the Linux revolution, naturally for many developers and users Linux is the first-choice OS kernel.