SIGOPS Operating Systems Reviews Special Issue on Secure Small-Kernel Systems Since the early microkernel hype of the 1980s and some spectacular failures in the 1990s, the field of small-kernel-based systems has enjoyed renewed interest mostly because of contemporary challenges for computer security: Modern hypervisors and microkernels allow removing buggy and untrusted standard operating systems from a system's trusted computing base. SIGOPS Operating Systems Review (OSR) would like to see this field explored in an OSR Special Topic Issue because of the vitality of this field that is evident in the number of research and industry projects related to it, for example, Xen, the L4 microkernel family, Denali, VMware, the pre-announced MS hypervisor, and IBM's hypervisors. Submissions describing extensions to current systems, new systems, and systems of historical importance are all welcome and encouraged. Please submit papers addressing the following areas: * Trust * Security * Virtual-machine monitors * Microkernels * Isolation kernels * Formal methods * Experience reports * System construction Submissions should be no longer than 10 pages (in a font no smaller than 10 pt). Standard SIGOPS formatting rules apply (see http://www.sigops.org/osr.html). Please send your submissions via email (PDF format only) directly to our guest editor, Michael Hohmuth . Important dates: Submission deadline: April 8, 2007 Author notification: April 30, 2007 Camera-ready submission deadline: May 15, 2007 OSR Guest editor: Michael Hohmuth, AMD Review committee: * Emin Gun Sirer, Cornell University * Gernot Heiser, NICTA / University of New South Wales * Hermann Hartig, TU Dresden * Jonathan Shapiro, Johns Hopkins University * Leendert van Doorn, AMD * Mark Jones, Portland State University * Sebastian Schoenberg, Intel * Steven Hand, Cambridge University * Volkmar Uhlig, IBM Research