========================================================
Class 15v1615: Scaling down: OpenWRT, Zephyr, and beyond
========================================================

Date: 10.06.2025


Links
=================================================

Zephyr: Linux scaled down to a unikernel
----------------------------------------

- `Zephyr Overview presentation <https://www.zephyrproject.org/wp-content/uploads/2025/01/Zephyr-Overview-20250113.pdf>`_
- `DeviceTree in Linux <https://docs.kernel.org/devicetree/usage-model.html>`_
- `Zephyr main repo <https://github.com/zephyrproject-rtos/zephyr>`_
- `Samples <https://docs.zephyrproject.org/latest/samples/index.html>`_

  - `Barometer sample <https://github.com/zephyrproject-rtos/zephyr/tree/main/samples/sensor/pressure_interrupt>`_


TockOS: microkernel with software isolation
-------------------------------------------

- `Rust in Kernel <https://docs.kernel.org/rust/general-information.html>`_

  - https://rust-lang.org
  - `Key Rust concepts for the kernel <https://lwn.net/Articles/869317/>`_
  - `More Rust concepts for the kernel <https://lwn.net/Articles/869428/>`_
  - `Rust heads into the kernel? <https://lwn.net/Articles/853423/>`_
  - `A GPIO driver in Rust <https://lwn.net/Articles/863459/>`_
  - `A pair of Rust kernel modules <https://lwn.net/Articles/907685/>`_
  - https://github.com/Rust-for-Linux

- `Tock kernel overview <https://book.tockos.org/doc/overview>`_