TP 06 - Installation Tock

Le but de ce TP est d'apprendre à utiliser

• Utilisation du système d'exploitation embarqué
• Utilisation de Tock

Install tockloader

sudo pip3 install tockloader

</note>

tockloader --help

<note>

• Tock https://github.com/tock/tock/blob/master/doc/Design.md
• Getting Started Guide https://github.com/tock/tock/blob/master/doc/Getting_Started.md
• Getting Started Guide for the micro:bit v2 https://github.com/tock/tock/tree/master/boards/microbit_v2

1. Clonez le repository de Tock
2. Installer tockloader
3. Suivez le guide de démarrage pour le micro:bit v2
4. Lancez tockloader et connectez-vous au micro:bit.
5. Découvrez ce que font les commandes de la console tock.
6. Écrivez un texte différent à afficher lorsque Tock démarre (indice : main.rs).
7. Clonez la bibliothèque libtock-c et créez l'application blink. Chargez-le sur le micro:bit v2.
8. Modifiez l'application de clignotement pour faire quelque chose de différent.
9. Modifiez l'application de clignotement pour qu'elle allume une autre LED toutes les 10 secondes.