Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

Praktikum - Betriebssysteme - seL4 & TRENTOS (IN0012, IN2106, IN4296)
Practical Course - Operating Systems - seL4 & TRENTOS (IN0012, IN2106, IN4296)

Lehrveranstaltung 0000005890 im SS 2023

Basisdaten

LV-Art Praktikum
Umfang 6 SWS
betreuende Organisation Informatik 13 - Professur für Vernetzte Rechensysteme - (N.N.)
Dozent(inn)en Sebastian Eckl
Leitung/Koordination: Uwe Baumgarten
Termine Di, 14:00–16:00, BC2 BC2 3.5.06

Zuordnung zu Modulen

weitere Informationen

Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).

ergänzende Hinweise This course introduces the fundamental aspects of TRENTOS [1], a novel seL4 microkernel based secure embedded operating system developed by HENSOLDT Cyber [2]. The first part of the course will cover the basic aspects required for embedded computing in general, providing an introduction to fundamental hardware aspects of the ARM and RISC-V architecture, their respective ISA as well as the final integration of a processor on a system on a chip (SoC). Based on the Broadcom BCM2837, the integration and utilization of a SoC is then exemplarily demonstrated by utilizing the widespread Raspberry Pi 3 B+ single-board computer (SBC). The second part will address the relevant preparation steps required for further OS utilization. Relevant aspects therefore include working with technical reference manuals (TRMs) as well as the utilization of relevant firmware and bootloader components (e.g. U-Boot). The third and final part will then introduce TRENTOS, a secure L4 microkernel based operating system for embedded system development. Therefore, in a first step, the design, architecture and the essential building blocks of the seL4 microkernel will be explained. Fundamental aspects like inter-process communication (IPC) or the core concept of capabilities will be presented in more detail. Based on top of seL4, the implementation of elementary OS aspects like system calls, device drivers, I/O management, processing and memory management is then presented. In a second step, the architecture, components and the usage of the CAmkES framework are shown. The framework provides kernel abstractions that are helpful for further OS and application development, allowing the provision of a suitable userland environment on top of seL4. The last step will then serve as a detailed introduction to the core concepts and basic software modules of TRENTOS, a secure operating system that utilizes both the seL4 microkernel and the CAmkES framework. Course participants will understand the inner workings of the OS and get in touch with the main OS aspects storage, networking and crypto support. Additional topics covered will target TRENTOS application and driver development. Besides the theoretical aspects, the practical part of this course will focus on two aspects: • As an individual, get in touch with the essential components of TRENTOS by working on homework tasks that deal with aspects like storage, networking and crypto on the Raspberry Pi 3 B+ • As a team, develop a fully featured show case utilizing TRENTOS on top of the Raspberry Pi 3 B+, interacting both with peripherals (different sensor and actuator devices) and a simulation environment (e.g. provided by a robotic simulator) [1] https://www.trentos.de/ [2] https://hensoldt-cyber.com/
Links LV-Unterlagen
E-Learning-Kurs (z. B. Moodle)
TUMonline-Eintrag

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
WS 2023/4 Practical Course - Operating Systems - seL4 & TRENTOS (IN0012, IN2106, IN4296) Eckl, S.
Leitung/Koordination: Baumgarten, U.
Di, 14:00–16:00, BC2 BC2 3.5.06
sowie einzelne oder verschobene Termine
WS 2022/3 Practical Course - Operating Systems - seL4 & TRENTOS (IN0012, IN2106, IN4296) Eckl, S.
Leitung/Koordination: Baumgarten, U.
Di, 14:00–16:00, BC2 BC2 3.5.06
SS 2022 Praktikum - Betriebssysteme - seL4 & TRENTOS (IN0012, IN2106, IN4296) Eckl, S.
Leitung/Koordination: Baumgarten, U.
Di, 14:00–16:00, BC2 BC2 3.5.06
WS 2021/2 Praktikum - Betriebssysteme - seL4 & TRENTOS (IN0012, IN2106, IN4296) Eckl, S.
Leitung/Koordination: Baumgarten, U.
Di, 14:00–16:00, BC2 BC2 3.5.06
SS 2021 Practical Course - Operating Systems - seL4 & TRENTOS (IN0012, IN2106, IN4296) Eckl, S. Weidinger, A.
Leitung/Koordination: Baumgarten, U.
Di, 14:00–15:30, virtuell
sowie einzelne oder verschobene Termine
WS 2020/1 Praktikum - Betriebssysteme - seL4 & TRENTOS (IN0012, IN2106, IN4296) Eckl, S. Weidinger, A.
Leitung/Koordination: Baumgarten, U.
Di, 14:00–15:30, virtuell
sowie einzelne oder verschobene Termine
Nach oben