TI-Planet | News

by **critor** » 03 Dec 2016, 16:35

Dans un article précédent, nous arrivions à mettre la main sur une préversion du prochain OS TI-Nspire CX CAS 4.4.
De version complète 4.4.0.531 elle a été compilée le 21 octobre 2016.

Elle vient également avec une nouvelle mise à jour 4.4.0.8 du couple Boot1.5+Boot2 compilée le 10 août 2016 et dont nous ignorons à date les conséquences.

Plusieurs de nos membres étaient mécontents de la politique de mises à jour très inégale de Texas Instruments ces deux dernières années.
En effet, la TI-83 Premium CE a reçu nombre de nouveautés mathématiques importantes, mais dans le même temps :

la TI-82 Advanced n'a bénéficié d'aucune mise à jour
et ces nouveautés n'ont pas été reprises dans les mises à jour TI-Nspire CX

Mais les tests que nous avons effectués depuis sur le futur OS TI-Nspire CX 4.4 montrent qu'il s'agit cette fois-ci d'une mise à jour particulièrement intéressante - nous allons voir cela ensemble.

D'une part il est maintenant possible directement sur la calculatrice d'importer une application Lua (baptisée pour l'occasion Widget) dans n'importe quel document.
De façon similaire aux programmes Basic communs qui devaient être stoqués dans le dossier /MyLib, les applications Lua que l'on souhaite rendre importables sont à mettre dans /MyWidgets.

L'OS 4.4 vient avec un Widget préchargé dans ce dossier, StopWatch 2.1 qui est un chronomètre programmé en Lua librement réutilisable.

Passons maintenant aux Mathématiques.
Comme la TI-83 Premium CE pour la rentrée 2016, la TI-Nspire CX reçoit enfin une fonction dédiée aux probabilités binomiales inverses, ce qui facilitera certaines questions à partir de la Première !

Mais ce n'est pas tout.
Comme la TI-83 Premium CE pour la rentrée 2016, la TI-Nspire CX rend désormais possible de définir les suites directement aux rangs n+1 ou n+2, ce qui facilitera énormément la vie des lycéens à partir de la Première !
Plus besoin de traduire la définition de l'énoncé sous une forme compréhensible par la calculatrice, au risque de se tromper !

Mais mieux que ça, c'est en réalité un ensemble bien plus large qui est géré, le rang de définition pouvant prendre toutes les valeurs n, n+1, n+2... jusqu'à n+99 !

Si l'on a envie de définir une suite récurrente avec

$mathjax$u_{n+3}=ln\left(\left|u_{n-2}\right|\right)$mathjax$

, on peut le faire directement sans besoin de la moindre modification, et la calculatrice comprend toute seule que dans ce cas elle a besoin de 5 valeurs initiales !

L'enseignant qui voudra te piéger en écrivant sa définition de suite de façon un peu originale pour t'empêcher de d'obtenir et recopier bêtement les résultats de la calculatrice va avoir un peu plus de mal si tu as la chance d'être équipé(e) d'une TI-Nspire CX...

Des capacités désormais très supérieures à ce qu'offrent (ou ce que n'offrent pas selon le cas) tous les autres modèles :

définition suites au rang n à n+99 : TI-Nspire CX versions 4.4+
définition suites au rang n à n+2 : TI-83 Premium CE, Casio Graph 35+E, Casio Graph 75+E, Casio fx-CP400+E, HP Prime versions 10077+
définition suites au rang n : TI-82 Advanced, HP Prime versions 8151-, TI-Nspire versions 4.3-
suites non gérées : Graph 25+E

Après avoir longtemps été à l'avant-dernière place sur ce thème, la TI-Nspire CX est enfin prête à devenir la meilleure calculatrice pour l'étude des suites pour la rentrée 2017 !

Les nouveautés mathématiques que Texas Instruments a développées pour la rentrée 2016 sur TI-83 Premium CE sont donc enfin prêtes à bénéficier à la TI-Nspire CX d'ici la rentrée 2017 !

Bien évidemment, l'installation de cet OS 4.4 interdit tout retour à une version antérieure et donc, sauf machine nBootée, toute installation de Ndless 4.2.
Il serait donc bienvenu pour l'équipe Ndless de trouver rapidement une solution, car pour les candidats à certains examens, en plus de l'obligation d'installer la dernière version, il y aura un intérêt réel à mettre à jour en version 4.4 contrairement à la version 4.3.

by **critor** » 09 Dec 2016, 17:19

Au (re)démarrage, ta TI-Nspire CX lance soit une image de démarrage Boot2 (ou plus récemment Boot1.5 mais c'est le même format), soit une image de diagnostic Diags.
Ces images sont bien évidemment signées électroniquement de façon totalement infalsifiable en 2048-bits, et il n'est donc en théorie pas possible de les modifier.

En pratique, l'outil nBoot sorti en mai dernier permet d'injecter du code autorisant l'exécution d'images non signés.
Malgré une entête ressemblant à celle des images Boot2/Diags, ces images ont un format différent, plusieurs champs ayant soit des significations différentes, soit étant totalement ignorés. Nous parlerons du format nBoot.
nBoot venait également avec une image permettant de lancer Linux, mais là encore avec un format d'image différent, une extension du précédent que l'on appellera nBootLinux.

Bref, 3 formats d'images voisins mais différents, Boot2/Diags, nBoot et nBootLinux, nécessitant donc plein de cas particuliers dans tout outil gérant les partitions de démarrage (nsNandMgr, BtMg, nsPartManagic...).
Je n'aurais certainement pas fait comme ça, mais maintenant il n'y a pas d'autre choix que de faire avec.

Les images nBoot avaient le défaut de devoir prendre la place de l'image Diags (début de la partition éponyme), rendant par la suite impossible plusieurs manipulations de maintenance, sans compter qu'il n'était alors pas possible d'en faire cohabiter plusieurs.

Heureusement, par la suite est sorti ControlX, une image nBoot qui avait la particularité d'être capable de lancer d'autres images trouvées dans les partitions Boot2, Diags ou ExtnD - bref, un gestionnaire de démarrage.

Dans sa version initiale, ControlX reconnaissait tous les formats d'images, mais était uniquement capable de lancer :

les images Boot2/Diags
les images nBootLinux

Le format nBoot n'était pas géré à cause d'une difficulté technique, les images nBoot devant être chargées et exécutées à l'adresse 0x10000034, adresse à laquelle résidait déjà ControlX puisque issu lui-même d'une image nBoot.
Or, il n'est pas possible pour un code en cours d'exécution de s'écraser lui-même...

Pour développer de petits programmes lançables à chaque (re)démarrage de ta TI-Nspire CX, tu avais donc le choix entre :

le format nBoot, facile à générer en se basant sur le Makefile de ControlX, mais qui n'était exécutable que par nBoot, et de plus imcompatible avec la présence d'un Diags, de ControlX ou de tout autre image nBoot sur la machine
le format Boot2/Diags, qui a l'avantage de pouvoir gérer la compression de code, mais plus difficile à générer par absence de Makefile public à ce jour, et qui n'était exécutable que par ControlX

Aujourd'hui sort ControlX 4.3.1 qui subit une évolution majeure en étant désormais capable d'exécuter les images au format nBoot, c'est-à-dire d'écraser son propre code après quelques acrobaties en mémoire.
Même si c'est inutile, cela veut dire entre autres que ControlX est désormais capable de relancer sa propre image depuis son propre menu.

Le développement d'images exécutables à chaque (re)démarrage de ta TI-Nspire CX devient donc désormais beaucoup plus accessible !
On peut imaginer plein de choses qui une fois installées resteront par la suite toujours disponibles peu importe l'état de la machine (avec ou sans Ndless, avec ou sans OS...), comme des outils de maintenance et bien d'autres choses encore...

D'ailleurs, nous te sortons une image nBoot de démo avec un Makefile fonctionnel dont tu pourras repartir pour créer tout ce que tu voudras si ton Ndless SDK est à jour, Splash 1.0, qui comme son nom l'indique pourra t'afficher sur demande une image plein écran à chaque (re)démarrage de ta machine.

Pour ceux qui souhaitent tester, il est conseillé de programmer l'image Splash 1.0 avec BtMg, soit dans la partition ExtnD, soit dans la partition Diags mais alors après l'image de ControlX.

Téléchargements :

Ressources : Tutoriel d'installation + mise à jour ControlX

by **critor** » 11 Dec 2016, 16:07

Aujourd'hui, plusieurs mises à jour au menu pour TI-Nspire :

nos reprogrammeurs de mémoire Flash-NAND nsNandMgr+BtMg qui passent en version 4.3.1
notre gestionnaire de démarrage ControlX qui passe en version 4.3.2

Rien d'immédiatement utile, les modifications concernent essentiellement la gestion de mémoire interne aux deux programmes et ont pour but de préparer l'avenir.

ControlX exécute désormais des images pouvant être beaucoup plus grosses :

les partitions Boot2/Diags/ExtnD pourront faire chacune jusqu'à 25Mio !
les images nBoot pourront faire jusqu'à 25Mio !
les images Linux pourront faire au maximum 24Mio !
la gestion des images de type Boot1.5 évolue également :
- jusqu'à 14Mio pour les images brutes (non compressées)
- et jusqu'à 11Mio pour les images compressées (sous réserve que la décompression ne dépasse pas 14Mio)
et enfin la gestion des images de type Boot2/Diags permettra :
- jusqu'à 8Mio pour les images brutes (non compressées)
- en théorie jusqu'à 17Mio pour les images compressées (mais la décompression ne devra pas dépasser 8Mio)

En pratique la seule image déjà existante nouvellement gérée suite à ces changements, c'est le programme d'installation de 3.5Mio inclus dans l'OS 4.2 de maintenance spécial que nous vous avions récupéré, et qui techniquement se comporte comme un Boot1.5.

Quant à des images de type nBoot/Boot1.5/Boot2/Diags plus grosses, il ne vous reste maintenant plus qu'à en créer, vu qu'il n'y a aucune vérification de signature électronique dans le contexte de ContolX.

Niveau Linux, l'image fonctionnelle mais pas très utile diffusée dans le contexte du lancement de ControlX faisait presque 4Mio.
Mais l'image Linux avec serveur X + Gnuplot dépasse les 30Mio et il va encore falloir beaucoup de travail et de progrès avant d'espérer pouvoir l'exécuter dans ce contexte.

nsNandMgr+BtMg évoluent dans le même sens, mais pas dans le même mesure, d'où la numérotation de version inférieure.
Ils devraient permettre désormais de pouvoir programmer des images faisant jusqu'à 14Mo, dans le contexte où les partitions Boot2/Diags/ExtnD ne dépasseront pas cette taille.
(cela semble indiquer une limite maximale de mémoire totale allouable autour de 28Mo, ce qui n'est pas une bonne nouvelle pour l'image Linux dont on vient de parler...)
Des fonctionnalités et informations spécifiques aux TI-Nspire CX étaient de plus affichées par erreur sur les TI-Nspire monochromes, ce qui a été corrigé.

Téléchargements :

Ressources : Tutoriel d'installation + mise à jour ControlX

by **critor** » 12 Dec 2016, 21:10

ControlX, notre gestionnaire de démarrage pour TI-Nspire CX, permet de lancer différentes images au démarrage de la calculatrice :

les images au format nBoot comme par exemple Splash 1.0
les images Linux au format nBootLinux
les images au format TI-Certificate officiel de Texas Instruments

Concernant ce dernier format TI-Certificate, ControlX permettait jusqu'à présent de lancer :

les images basées à l'adresse 0x11800000 (Boot2 et Diags)
les images basées à l'adresse 0x11200000 (Boot1.5 et Install)

Le nouveau ControlX 4.3.3 qui sort ce soir est désormais capable en théorie de lancer les images basées à l'adresse 0x10000000, c'est à dire les OS TI-Nspire !

Le code de cette fonctionnalité vient du programme Ndless OSlauncher par Lionel Debroux, qui ciblait les anciennes TI-Nspire monochromes.

Une évolution fort intéressante qui pourrait permettre de démarrer la calculatrice plus rapidement en sautant les vérifications du Boot2, d'avoir un multi-boot permettant de choisir entre plusieurs versions d'OS TI-Nspire CX, et même de lancer des OS TI-Nspire CX patchés...

En pratique, il n'est pas encore possible à date de lancer d'OS TI-Nspire CX officiel, pour deux raisons principales :

ControlX nécessite l'installation de nBoot, et les OS TI-Nspire CX 3.9.1 et plus anciens ne démarrent pas correctement dans ce contexte
les premiers OS TI-Nspire CX qui pourraient marcher, les versions 4.0.2/4.0.3, font déjà quasiment 17Mio une fois décryptés et décompressés, ce qui est sensiblement au-delà de la limite de 14Mio pour les images actuellement programmables avec nos outils de reprogrammation NAND BtMg+nsNandMgr

Mais la fonctionnalité a quand même pu être testée avec succès, grâce à Dummy OS CX.
Il s'agit d'une adaptation pour TI-Nspire CX de Dummy OS, un simili-OS développé là encore par Lionel Debroux dans le temps pour tester le programme OSLauncher.
Comme visible ci-dessous, l'OS se contente d'afficher sur l'écran et de redémarrer à l'appui sur la touche

:

Pour espérer pouvoir un jour lancer des OS TI-Nspire CX officiels directement depuis le menu de ControlX, il va falloir revoir très profondément la gestion mémoire de BtMg+nsNandMgr, si tant est que ce soit possible...
Ou alors une autre piste qui pourrait peut-être être explorée dans un temps plus raisonnable, c'est que le format officiel TI-Certificate a l'avantage de gérer la compression... et que ControlX gère déjà une compression dans le contexte des Boot2 et Boot1.5...

Téléchargements :

Ressources : Tutoriel d'installation + mise à jour ControlX

by **critor** » 13 Dec 2016, 18:25

Dans un article précédent, notre gestionnaire de démarrage ControlX devenait capable de lancer directement des images d'OS TI-Nspire CX.
Toutefois, nous n'avions pas réussi à lancer d'OS TI-Nspire CX officiel, à cause de deux limitations techniques :

dans le contexte de nBoot, il faut obligatoirement une version d'OS 4.0.1 ou plus récente, les autres ne démarrant pas correctement - ce qui veut dire au moins 17Mio une fois l'OS décrypté et décompressé
nos programmeurs de mémoire NAND BtMg+nsNandMgr ne permettent pas à date de flasher des images faisant plus de 14Mio

Nous nous étions donc contentés du simili-OS Dummy OS CX pour valider les tests.

Mais les images d'OS utilisent le format officiel TI-Certificate, et ce format a l'avantage de permettre 2 types de compressions, dont une compression légère utilisée par TI pour les images de Boot2 (et Boot1.5) et qui est déjà gérée dans ControlX !

Voici donc ce soir :

une mise à jour de Dummy OS CX avec un fichier Makefile réutilisable qui permettra de générer deux images d'OS, une brute et une compressée.
C'est l'outil de compression/décompression d'images TI-Certificate nsBar, mis à jour pour l'occasion avec la gestion de ce cas, qui est utilisé.
ControlX 4.3.4 qui accepte désormais les images d'OS compressées.

Cette légère compression nous permet de réduire les images d'OS d'environ 25% :

l'OS 4.4.0.431 CX CAS de 19,5Mio à 14,6Mio
l'OS 4.3.0.702 CX CAS de 17,3Mio à 13,2Mio
l'OS 4.3.0.547 CX CAS de 17,3Mio à 13,2Mio
l'OS 4.2.0.532 CX CAS de 17,2Mio à 13,1Mio
l'OS 4.0.3.29 CX CAS de 16,9Mio à 12,7Mio
l'OS 4.0.2.27 CX CAS de 16,9Mio à 12,7Mio

L'OS 4.4 demeure donc trop gros et ne passe pas. Une piste pourrait être de rajouter dans ControlX la gestion du format de compression PKZIP plus puissant que TI utilise pour ses images d'installation d'OS.

Mais à l'exception de l'OS 4.4, toutes ces images sont maintenant programmables et lançables sur ta TI-Nspire CX CAS !

Sur la vidéo ci-dessus, le démarrage chargement de l'OS 4.2 en passant de façon normale par le Boot2 prend 43 secondes.
Le lancement direct via ControlX de l'OS 4.0.3 qui fait quasiment la même taille ne prend lui que 34 secondes - belle progresssion !

Un petit reproche est que l'installation automatique de Ndless n'est pas encore gérée dans ce contexte de démarrage.

Aussi exceptionnelle que soit cette fonctionnalité techniquement, elle ne semble pas pouvoir servir à se configurer un multi-Boot d'OS TI-Nspire.
En effet, sur la fin de la vidéo, l'OS 4.0.3 est lancé sans installation, c'est-à-dire avec les fichiers de l'OS 4.2, et on peut remarquer que la plupart des textes système sont alors mauvais.

De plus autre problème plus gros, après 30 secondes la calculatrice redémarre toute seule et réclame un nouvel OS.

La consultation de la console série dans l'émulateur permet de comprendre qu'il s'agit de l'échec d'une vérification de sécurité de TI qui déclenche le code d'auto-destruction de l'OS :

Code: Select all: Archive has been modified. BOOT2 updater: error -18 TOTAL BYTES: 73876 deleteTree(): path /tmp TI_OS_deleteTree: deleteAllFiles Done! autodim_power_callback: Stop dim Timer. flags(0x4) ------------------ Module is Gone!! TouchPad Firmware Revision : 01060000 Created Execution Context <TI_PCL_Init2> SetSystem Settings --> <TI_PCL_Init2> TI_RM_LoadAllStrings --> <TI_PCL_Init2> TI_UI_IME_Init --> <TI_PCL_Init2> RegisterC1Widgets --> <TI_PCL_Init2> TI_GOIO_InitializeGoIO --> <TI_PCL_Init2> TI_AM_Initialize --> Product : 16 (defined in os/inc/deviceinfo.h) Platform : 2 (defined in documentmanager/inc/hal.h) Version : 3.6.0.337 CE Build Date: 2013-5-10 TI_PM_DIM_settime: Dim set to 90. RET - Echo UDP: TI_Echo_UDP_Init called +++ RET - ECHO UDP: EchoUDPListenerThread. Inside Thread +++ TI_PM_DIM_disable: Stop dim Timer. autodim_power_callback: Stop dim Timer. flags(0x4) Wireless Status:WCM_Info_GetStatus():SUCCESS Network Status: SLED is Not Attached deleteTree(): path /tmp TI_OS_deleteTree: deleteAllFiles Done!

Mais cela devrait pouvoir se patcher en s'inspirant du travail réalisé dans le contexte de Nlaunchy, le seul bémol étant qu'il n'est à date pas à jour au-delà de l'OS 4.2.

Téléchargements :

Ressources : Tutoriel d'installation + mise à jour ControlX