TP 11 - Pilots Tock

Le but de ce TP est d'apprendre

• Écriture de pilotes Tock

• Chapitre 8 - Userspace Applications Development https://elf.cs.pub.ro/so/res/doc/so-books/Radovici-Culic2022_Book_GettingStartedWithSecureEmbedd.pdf

1. Clonez le https://github.com/UPB-FILS-SdE2/Solutions
2. Dans tp11, activer la trace des appels système du noyau (dans Cargo.toml, ajouter la feature “trace_syscalls” à la crate kernel)
3. Suivez les TODO (main.rs, drivers/src/maths.rs, applications) pour créer et utiliser un pilote.