a few slides fixes to improve the content (#1363)

Author: alexandruradovici

slides/lectures/fils_en/02/slides.md

@@ -31,9 +31,11 @@ Lecture 2
 - Memory Mapped I/O
   - GPIO Peripheral
 - Embedded Rust Stack
-- `embassy-rs`
+- `embassy`
 
-<!-- MMIO -->
+<!--
+MMIO
+-->
 
 ---
 src: ../../resources/mmio/slides.md

slides/lectures/fils_en/08/slides.md

@@ -60,6 +60,7 @@ src: ../../resources/mmu/slides.md
 ---
 layout: two-cols
 ---
+
 # Microcontroller (MCU)
 Integrated in embedded systems for certain tasks
 
@@ -70,7 +71,7 @@ Integrated in embedded systems for certain tasks
 - costs $0.1 - $25
 - uses **Memory Protection Unit**
 
-<img src="./pico2w.png" class="m-5 h-30 rounded">
+<img src="./pico2w.png" class="m-5 h-30 rounded" style="background: white; padding: 5px">
 
 
 :: right ::

slides/lectures/fils_en/10/trusted_firmware.md

@@ -76,6 +76,7 @@ Provided in SDK
 ---
 layout: two-cols-header
 ---
+
 # Public Key Infrastructure
 
 ::left::
@@ -93,13 +94,14 @@ layout: two-cols-header
 
 ::right::
 
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./public_key_encryption.svg" class="rounded">
-
-
+</div>
 
 ---
 layout: two-cols-header
 ---
+
 # Digital Signatures
 needs a *key pair* (RSA or ECS) and a *hashing algorithm*
 
@@ -125,7 +127,9 @@ Verifying
 
 ::right::
 
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./digital_signature.svg" class="rounded">
+</div>
 
 ---
 layout: two-cols
@@ -298,4 +302,4 @@ flowchart LR
 - Smart Cards
   - keys should never be read from the device
   - software in these devices should not be tampered with
-  - JavaCard (applets are uploadable)
+  - JavaCard (applets are uploadable)

slides/lectures/resources/adc/slides.md

@@ -19,6 +19,7 @@ for this section
 ---
 layout: two-cols
 ---
+
 # ADC
 sampling an analog signal to an array of values
 
@@ -35,7 +36,7 @@ sampling an analog signal to an array of values
 
 :: right ::
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./sampling_values.svg" class="rounded w-150">
 </div>
 
@@ -90,7 +91,7 @@ how the ADC works
 
 :: right ::
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./adc.svg" class="rounded w-150">
 </div>
 
@@ -131,7 +132,7 @@ $$
 <img src="./adc_rp2040.png" class="rounded w-150">
 </div>
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="../rp2350/pico2w-pinout.svg" class="rounded w-80">
 </div>
 

slides/lectures/resources/communication/slides.md

@@ -53,7 +53,7 @@ safely share data between tasks
 
 :: right ::
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="../executor/isr_executor.svg" class="rounded">
 </div>
 
@@ -65,7 +65,7 @@ safely share data between tasks
 
 # Blocking Mutex
 
-no `.await` allowed while the mutex is held
+no `.await` allowed while the Blocking Mutex is held
 
 ```rust{1|3-5|7-14|10-14|all}
 use embassy_sync::blocking_mutex::Mutex;
@@ -88,7 +88,7 @@ async fn task1() {
 ---
 
 # Async Mutex
-`.await` is allowed while the Mutex is held, it will release the Mutex while `await`ing
+`.await` is allowed while the Mutex is held
 
 ```rust{1|3-5|7-14|10-14|all}
 use embassy_sync::mutex::Mutex;

slides/lectures/resources/embassy-rs/slides.md

@@ -1,7 +1,8 @@
 ---
 layout: section
 ---
-# embassy-rs
+
+# embassy
 [Embedded Asynchronous](https://embassy.dev/)
 
 ---
@@ -80,7 +81,7 @@ async fn main(_spawner: Spawner) {
 
 </div>
 
-The `main` function is called by the embassy-rs framework, so it can exit.
+The `main` function is called by the `embassy` framework, so it can return.
 
 ---
 ---
@@ -136,7 +137,6 @@ async fn main(_spawner: Spawner) {
 
 ````
 
----
 ---
 
 # GPIO Output
@@ -195,7 +195,7 @@ async fn main(_spawner: Spawner) {
 
 </div>
 
-The `main` function is called by the embassy-rs framework, so it can exit.
+The `main` function is called by the `embassy` framework, so it can return.
 
 ---
 ---

slides/lectures/resources/exceptions/slides.md

@@ -19,19 +19,27 @@ for this section
      - Section 8.2 - *Exception types+*
 
 ---
----
+
 # Processor Exceptions
 what happens if something does not work as required
 
+<div align="center" style="background: white; padding: 5px" class="rounded">
+
 ![Exceptions](./exceptions.svg)
 
+</div>
+
 ---
----
+
 # ARM Cortex-M Exceptions
 what happens if something does not work as required
 
+<div align="center" style="background: white; padding: 5px" class="rounded">
+
 ![Exceptions](./cortex-m.svg)
 
+</div>
+
 ---
 
 # Exception (HardFault) Handling
@@ -106,12 +114,11 @@ for this section
      - Section 11.7 - *Lockup*
 
 ---
----
 
 # ARM Cortex-M Interrupts
 some hardware device notifies the MCU
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./cortex-m-nvic.svg" class="rounded w-170">
 </div>
 
@@ -313,6 +320,7 @@ flowchart LR
 ---
 layout: two-cols
 ---
+
 # Boot
 
 <style>
@@ -375,7 +383,7 @@ The internal boot loader cannot be overwritten and assures that bricking the dev
 
 :: right ::
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./flash_address.svg" class="rounded w-70">
 </div>
 

slides/lectures/resources/executor/slides.md

@@ -23,7 +23,7 @@ for this section
   - starts the Embassy scheduler
   - defines the `main` task
 - `#[embassy_executor::task]` - defines a new task
-  - `pool_size` -is *optional* and defines how many identical tasks can be spawned
+  - `pool_size` -is *optional* and defines how many identical tasks can be spawned at the same time
 - the `main` task
   - initializes the the `led`
   - spawns the `led_blink` task (adds to the scheduler)
@@ -67,9 +67,11 @@ async fn main(spawner: Spawner) {
 
 <div>
 
-- unless awaited, `async` functions are not executed
+- unless awaited, `async` functions are not executed [^async]
 - tasks have to use `.await` in loops, otherwise they block the scheduler
 
+[^async]: they are executed, but do not execute what you expect
+
 </div>
 
 
@@ -98,10 +100,10 @@ async fn main(spawner: Spawner) {
 </div>
 
 ---
----
+
 # How it works
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./executor.svg" class="rounded">
 </div>
 
@@ -114,6 +116,7 @@ async fn main(spawner: Spawner) {
 ---
 layout: two-cols
 ---
+
 # Priority Tasks
 
 <style>
@@ -143,7 +146,7 @@ layout: two-cols
 <v-click>
 
 ### RP2
-- use `SWI_IRQ_01` and `SWI_IRQ_01`
+- use `SWI_IRQ_0` and `SWI_IRQ_1`
 
 </v-click>
 
@@ -156,7 +159,7 @@ layout: two-cols
 
 :: right ::
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./isr_executor.svg" class="rounded">
 </div>
 
@@ -172,7 +175,7 @@ layout: two-cols
 }
 </style>
 
-<div align="center">
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./isr_executor.svg" class="rounded">
 </div>
 

slides/lectures/resources/future/slides.md

@@ -14,6 +14,7 @@ for this section
 ---
 layout: two-cols
 ---
+
 # Future
 
 <style>
@@ -47,6 +48,8 @@ where
 }
 ```
 
+- simplified version of `Future`
+
 :: right ::
 
 ```mermaid
@@ -69,8 +72,8 @@ sequenceDiagram
 ```
 
 ---
----
-# Implementing a Future
+
+# Implementing a (simplified) Future
 
 <div grid="~ cols-2 gap-5">
 
@@ -216,7 +219,7 @@ async fn blink(mut led: Output<'static, PIN_X>) {
 }
 ```
 <div v-click="1">
-Rust rewrites
+Rust (kind of) rewrites
 
 ```rust {1-7|1-3,7|1,4-7|8-12|13-15|all}{lines: false}
 struct Blink {
@@ -272,12 +275,11 @@ impl Future for Blink {
 
 </div>
 
-
 ---
 
 # Async Rust
 
-- the Rust compiler rewrites `async` function into `Future`
+- the Rust compiler rewrites `async` functions into `Future`s
 - it does not know how to execute them
 - executors are implemented into third party libraries
 
@@ -299,10 +301,9 @@ fn main() -> ! {
 }
 ```
 
-
 ---
----
-# Executor
+
+# Simplified Executor
 
 ```rust {1|4-16|5-12|14,15|all}
 static TASKS: [Option<impl Future>; N] = [None, N];
@@ -329,7 +330,7 @@ fn executor() {
 - an efficient executor will not poll all the tasks, it uses a `waker` that tasks use to signal the executor
 
 ---
----
+
 # The `Future` trait
 that Rust provides
 
@@ -348,10 +349,12 @@ trait Future {
 - `Pin` to `mut self`, which means that `self` cannot be moved
 - `Context` which provides the `waker`
   - tasks are polled only if they ask the executor (by using the `wake` function)
-- `embassy-rs` provides the execution engine
+- `embassy` provides the execution engine
 
 </div>
 
+<div align="center" style="background: white; padding: 5px" class="rounded">
 <img src="./executor_w.svg" class="rounded">
+</div>
 
 </div>