KIT - Karlsruhe Institute of Technology
image/svg+xml
ITEC - Operating Systems Group
Home
Legals
Data Protection
KIT
KIT
de
search
search
Research
Start
Research
Research
Simutrace
Start
Research
Simutrace
Simutrace
Tracing Framework
SimuBoost
Downloads
Documentation
Power Management
Start
Research
Power Management
Power Management
AVX Frequency Management
Microkernel Energy Management
Server Power Management
I/O Power Management
Process Cruise Control
Memory Management
Start
Research
Memory Management
Memory Management
Non-Volatile Memory Management
DRAM Mapping Aliases
GPU Memory Management
Memory Deduplication
L4Ka Virtualization
Start
Research
L4Ka Virtualization
L4Ka Virtualization
Reuse of Unmodified Device Drivers
Pre-Virtualization with Compiler Afterburning
Scalable Multiprocessor Virtual Machines
Teaching
Start
Teaching
Teaching
Courses in ST 2024
Start
Teaching
Courses in ST 2024
Courses in ST 2024
Linux Internals
Windows Internals
Seminar Hot Topics
OS Lab
Advanced OS
Courses in WT 2023/2024
Start
Teaching
Courses in WT 2023/2024
Courses in WT 2023/2024
Windows Internals
Seminar Hot Topics
Linux Internals
Virtual Systems
Power Management Lab
Power Management
Operating Systems Tutorials
Operating Systems
Courses in ST 2023
Start
Teaching
Courses in ST 2023
Courses in ST 2023
OS Lab
Seminar Hot Topics
Windows Internals
Linux Internals
Advanced OS
Bachelor and Master Theses
Start
Teaching
Bachelor and Master Theses
Bachelor and Master Theses
Finished Theses
Latex Template
Previous Semesters
Start
Teaching
Previous Semesters
Previous Semesters
Courses
Exams
Publications
Start
Publications
Publications
Prof. Bellosa 2005 - Present
Prof. Liedtke 1999 - 2004
Prof. Wettstein 1970 - 1998
Staff
Contact
Startpage
Home
Legals
Data Protection
search
search
ITEC -
Operating Systems Group
Startpage
Staff
Start
Research
Teaching
Publications
Staff
Contact
Staff
Microkernel Construction
Type:
Lecture
Chair:
System Architecture Group
Semester:
ST 2005
Lecturer:
Joshua LeVasseur, Gerd Liefländer, Jan Stoess
