This section should cover concurrency in embedded systems / microcontrollers. How the Send / Sync traits can be used with interrupts and static variables to achieve memory safe concurrency in those systems. We start with the simple case of interrupt handlers, static variables and critical sections and then show that a framework / DSL like Real Time for The Masses can built using those basic blocks.
If Tock userland apps (not the kernel) are working on stable then we can include a subsection about that as well as it demoes the multiprocess architecture. Same thing with freertos-rs which demoes a more traditional threading system (I think).
This section should cover concurrency in embedded systems / microcontrollers. How the Send / Sync traits can be used with interrupts and static variables to achieve memory safe concurrency in those systems. We start with the simple case of interrupt handlers, static variables and critical sections and then show that a framework / DSL like Real Time for The Masses can built using those basic blocks.
If Tock userland apps (not the kernel) are working on stable then we can include a subsection about that as well as it demoes the multiprocess architecture. Same thing with freertos-rs which demoes a more traditional threading system (I think).