L4Ka Project

Program of the 2nd International Workshop on Microkernel-based Systems

13:45-14:00 Kevin Elphinstone Opening Remarks
14:00-15:30 Scheduling Session Chair - Gernot Heiser
Kevin Elphinstone Resources and Priorities
Jean Wolter Issues on Scheduling in L4
Jork Loeser Implementation issues of the DROPS streaming interface
15:30-16:00 Coffee Break
16:00-17:30 Devices Session Chair - Hermann Haertig
Uwe Dannowski Interrupt Handling
Christian Helmuth Device Driver Support for L4-based Systems
Lars Reuther Towards A common L4 environment
19:30 Dinner Waliser Stube
Note: Dress Code --- "smart casual" (no blue jeans)
9:00-10:30 Tools Session Chair - Hermann Haertig
Sebastian Schoenberg A user mode L4 Enviroment
Frank Mehnert Dynamic Loading of L4 Programs
Ronald Aigner Integration of Message Passing into an IDL compiler
10:30-11:00 Coffee Break
11:00-12:30 Kernel Internals Session Chair - Kevin Elphinstone
Cristan Szmajda Calypso: A portable translation layer
Andreas Haeberlen User-level management of L4 Kernel memory
Gernot Heiser Dealing With TLB Tags, or ......
12:30-14:00 Lunch Attendees to make their own arrangments
14:00-15:30 Break-out Session Session Chair - Kevin Elphinstone
15:30-16:00 Coffee Break
16:00-17:30 Misc Session Chair - Gernot Heiser
Michael Hohmuth Helping in a multiprocessor environment
Christian Stueble Perseus
8:00-11:00 Break-out Session II