Pas au démarrage, non. Quand l'OS de TI a démarré, il faut déclencher un programme Ndless qui utilise l'OS de TI pour charger une image de Linux en mémoire, puis qui la reloge et la lance. Pour revenir à l'OS de TI, il suffit de rebooter Il n'existe a priori pas de driver ouvert pour le système de fichiers propriétaire FlashFX / Datalight Reliance utilisé par l'OS de TI.
Problème réglé de manière fort simple : lorsque je lançais linux, j'appuyais sur d'autres touches pendant le lancement... Mais maintenant, c'est bon !!