KIT - Karlsruhe Institute of Technology
image/svg+xml
ITEC - Operating Systems Group
skip navigation
Home
Legals
Privacy Policy
Accessibility
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 WT 2024/2025
Start
Teaching
Courses in WT 2024/2025
Courses in WT 2024/2025
Operating Systems
Operating System Tutorials
Power Management Lab
Power Management
Virtual Systems
Linux Internals
Seminar Hot Topics
Windows Internals
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
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
Privacy Policy
Accessibility
search
search
ITEC -
Operating Systems Group
Startpage
Staff
Start
Research
Teaching
Publications
Staff
Contact
Staff
Microkernel Construction
Type:
Lecture
Chair:
System Architecture
Semester:
ST 2008
Lecturer:
Raphael Neider
