Le PDA de Samsung fonctionne avec Linux