LINKS.md

Useful links about L4, L4Re etc.

• Kernkonzept main github

  • l4re-core github link
  • wiki link
  • blog link

• L4Re main site

  • Information/ Documentation links page
  • L4Re Documentation docs page

• Fiasco.OC main site

  • Documentation links

• TU Dresden Betriebssysteme : Vorlesungen/Labore main page

  • VL: Mikrokernbasierte Betriebssysteme link
  • LAB: Mikrokernbasierte Betriebssysteme link
  • LAB: Systemnahe Programmierung link
  • VL/LAB: Microkernel Construction link
  • VL/LAB: Real-Time Systems link

• TU Dresden Wiki link

  • Client-server app with explanation link

• L4 uKernel family link

• L4Linux link

• Publications from KIT (various) link

• YouTube videos:

  • Playlist (various) link
  • Linux Kernel Networking playlist link
  • David Evans (various lectures) link