Secure Microkernel Operating Systems

The evolution from makrokernels to microkernels is illustrated, showing different approaches to achieve not only (more) secure but also practical platforms for legacy software applications.