Qui va porter xcas comme ça a été fait pour les HP PRIME et les TI-Nspire? 
D'ailleurs, le SDK a l'air de marcher en recompilant le firmware, donc apparemment il n'y a pas de vérification de signature (à vérifier), donc je me demande si on ne pourrait pas le remplacer par un truc vraiment libre à base du noyau Linux ou d'un RTOS libre (ou écrit en assembleur custom comme PedroM
– mais bien sûr il faudrait le coder en ARM, pas en 68k ).