Building Microkernel-Based Operating Systems


This lecture does not require any registration!

The focus of this lecture is on different aspects in the construction and implementation of microkernel-based operating systems. The lecture covers the fundamental mechanisms that are required for efficiently constructing efficient microkernel-based systems. In addition, example systems are presented to highlight the flexibility of the microkernel approach. This lecture and the presented systems is based on the Fiasco microkernel developed at the Universität Dresden and on projects building on top of this microkernel including L4Linux, L4Env, DROPS and µSINA.

Topics

  • Introduction
    • Motivation
    • Example Systems
    • L4 Interface
  • Booting
    • Hardware Boot Process
    • Startup of the L4-Kernel
    • Startup of the first L4-Task
  • Memory Management
    • Hierarchical Pagers
    • Memory Managers
  • Communication
    • IDL-Compiler
    • Asynchronous Communication using Shared-Memory
  • Multithreading / Synchronization
  • Device Drivers
    • Hardware-Access by User-Level Applications
  • L4Linux
  • Multiserver OS
  • Real-Time OS
  • Secure OS

Together with this lecture we offer a practical course (Komplexpraktikum) to get hands-on-experience in the topics covered in this lecture.

Slides

Introduction
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 510 - - - - - 523 521 519 518
Pages 36 - - - - - 18 12 9 6
Booting
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 553 - - - - - 579 575 573 571
Pages 47 - - - - - 24 16 12 8
Tasks and Memory Management
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 978 - - - - - 1852 1849 1847 1845
Pages 48 - - - - - 24 16 12 8
Process Communication
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 653 - - - - - 731 726 724 721
Pages 69 - - - - - 35 23 18 12
Threads
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 798 - - - - - 939 936 934 932
Pages 46 - - - - - 23 16 12 8
Device Drivers and Hardware I/O
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 1030 - - - - - 2109 2105 2103 2101
Pages 51 - - - - - 26 17 13 9
Multi-Server Systems
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 891 - - - - - 1977 1972 1970 1968
Pages 64 - - - - - 32 22 16 11
Multi-Server Systems -- Authentication and Access Control
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 247 - - - - - 329 327 327 326
Pages 17 - - - - - 9 6 5 3
L4Linux
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 853 - - - - - 952 948 946 943
Pages 59 - - - - - 30 20 15 10
DROPS - The Dresden Real-Time Operating System
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 1534 - - - - - 1546 1542 1540 1538
Pages 48 - - - - - 24 16 12 8
Secure Systems
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 844 - - - - - 973 969 967 966
Pages 47 - - - - - 24 16 12 8
L4 Projects
Slides Handouts - b/w Handouts - colored
Style Normal Anim 2 3 4 6 2 3 4 6
KB 643 - - - - - 824 821 820 819
Pages 35 - - - - - 18 12 9 6

Organisatorial:

Expenditure of time: 2/0
Date: Tuesday, 4th block
Room: INF/E08

Mailing List

There is a mailing list for discussions/questions/etc. Please subscribe to this list when visiting the lecture.
Note: We accept only TU-Dresden E-mail addresses on this list (*.tu-dresden.de)!
Archive of the current term.

webmaster@os, home
Wed Dec 19 15:52:52 2007
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum ·