We're currently exploring rump kernels (student project), with preliminary results due around November.

- Kevin
PS. Excuse the brevity, sent from phone.

On Mon, Jun 13, 2016 at 10:58 AM +1000, "XilongPei" <pei_xilong@tongji.edu.cn> wrote:


According to wikipedia.org, Unikernels are specialised, single address space
machine images constructed by using library operating systems. A developer
selects, from a modular stack, the minimal set of libraries which correspond
to the OS constructs required for their application to run. These libraries
are then compiled with the application and configuration code to build
sealed, fixed-purpose images (unikernels) which run directly on a hypervisor
or hardware without an intervening OS such as Linux or Windows.

Will seL4 support any unikernel, such as Drawbridge or MirageOS, in the

Xilong Pei
Tongji University
Shanghai, China

Devel mailing list

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.