As Kev wrote, we’re exploring rump kernels which are related, but I think it’s more a question whether the unikernel supports seL4 and not the other way around. seL4 is certainly powerful and general enough to run any such configuration, but the unikernel might be making assumptions about the hypervisor layer, i.e. it might expect a specific one. Cheers, Gerwin On 13 Jun 2016, at 18:59, Kevin Elphinstone <Kevin.Elphinstone@nicta.com.au<mailto:Kevin.Elphinstone@nicta.com.au>> wrote: 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<mailto:pei_xilong@tongji.edu.cn>> wrote: Hi, According to wikipedia.org<http://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 future? Xilong Pei Tongji University Shanghai, China 2016/6/13 _______________________________________________ Devel mailing list Devel@sel4.systems<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel ________________________________ 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. _______________________________________________ Devel mailing list Devel@sel4.systems<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel