Interestingly embedded 32 bit Linux is not tier 1 or 2 though :)