Agenda
Monday, August 11, 2025
| Time | Topic | Speaker |
|---|---|---|
| 8:30 | Breakfast | |
| 9:45 | Welcome and Introductions | |
| 10:00 | State of Tock | Amit Levy Princeton |
| 10:30 | TockOS Kernel Update Solution | Tiago Manczak Infineon |
| 11:00 | Coffee break | |
| 11:30 | Tock on Raspberry Pi | Ioan-Cristian Cirstea OxidOS Automotive |
| 12:00 | Tock on Armv8-M architecture + Wi-Fi | Darius Jipa, Irina Nita OxidOS Automotive |
| 12:30 | Lunch | |
| 13:30 | Enabling the usage embedded-hal-async based drivers in the Tock kernel | Alexandru Radovici OxidOS Automotive |
| 14:00 | Porting Embassy to libtock-rs | Danut Aldea OxidOS Automotive |
| 14:30 | Coffee break | |
| 15:00 | Tock Inspector and Debugger | Irina Nita, Vlad Radulescu OxidOS Automotive |
| 15:30 | Tockloader-rs: Deep Dive | George Cosma Wyliodrin |
| 16:00 | Wrap-up | |
| 18:00 | Tour of Targu Mures |
Tuesday, August 12, 2025
| Time | Topic | Speaker |
|---|---|---|
| 8:30 | Breakfast | |
| 9:45 | Introduction | |
| 10:00 | Getting started with Tock - Part 1 | Workshop |
| 11:00 | Coffee break | |
| 11:30 | Getting started with Tock - Part 2 | Workshop |
| 12:30 | Lunch | |
| 13:30 | Getting started with Tock - Part 3 | Workshop |
| 15:00 | Extending Tock to MMU Platforms | Working Group |
| 16:00 | Coffee break | |
| 16:30 | Connecting Tock to the Rust Embedded Group | Working Group |
| 17:30 | Wrap up | |
| 18:00 | Reception | |
| 21:00 | Invitation to watch the IP Workshop Super Sports Competition |