L4Ka Project

Workshops on Microkernel-based Systems

These workshops on microkernels and microkernel-based systems bring together researchers to discuss and exchange ideas related to research and practical developments in the field. The primary focus of the workshops has been activities related to the L4 microkernel and related systems. The workshops have thus far been held in conjunction with the Symposium on Operating System Principles. The title of the workshop changes to reflect the workshop's focus at the time.

The workshops have provided a forum for participants to discuss ideas and issues relevant to microkernels and microkernel based systems. In the past, most researchers active in L4 related activities were present, and hence the workshops have provide an excellent opportunity to closely interact, discuss common problems, achieve consensus on issues, agree to APIs, and generally find out what participants are doing.

The programs of previous workshops are provided below. Some authors have provided material related to their submission for research or personal use only. The author retains the copyright of any works made available and should be contacted for permission for any use other than research or personal.


1st L4 Implementors Workshop
December 15-16, 1999, Kiawah Island Resort, Charleston, SC, USA
2nd International Workshop on Microkernel-based Systems
October 24-25, 2001, Chateau Lake Louise, Banff, AB, Canada