About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
Download
IDL4
Release Notes
Documentation
Download
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
 
Program of the 2nd International Workshop on Microkernel-based Systems
Wednesday
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)
 
Thursday
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
 
Friday
8:00-11:00 Break-out Session II
   
 
 
 
  Mail to webmaster   © 2000-2010 University of Karlsruhe