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
|
[HTML] |
|
