surtout que c'est plutot l'inverse vu que les fabricants n'ont plus qu'à pondre un bsp et que linux leur permet d'avoir un os pas temps réel mais multitache-suffisant-pour-les-trucs-pas-critiques

et qu'ils ont pas de royalties à payer pour utiliser un os temps réel pour faire une cafetière radiocommandée ou une set top box.