Using Linux as an Embedded OS for the Space Industry - Pierre Ficheux, Smile