Re: [seL4] Porting Qubes OS to seL4 project

28 Mar 2016

      Hi Paul,

Sorry for not replying earlier.

We had a summer student take on the task of porting Qubes to seL4.  This project looked at a simple, static Qubes-like system on seL4 using the CAmkES component platform. The key result of this work was an implementation of the vchan communication mechanism between VMs and components in a CAmkES system.

Qubes is, of course, a dynamic system, so our CAmkES-based version was really an initial prototype to get a feel for Qubes and what support would be required for a full port.

While we don’t currently have anyone actively working on Qubes on seL4, we are still very much interested in this, so it would be great to see someone like you take this on.  Please feel free to email me directly if you want to discuss Qubes on seL4 in more detail.

Ihor.

--
Dr. Ihor Kuz
Senior Research Engineer | Trustworthy Systems

DATA61 | CSIRO
E ihor.kuz@nicta.com.au T + 61 2 8306 0582
Locked Bag 6016, UNSW, Sydney NSW 1466, Australia
www.data61.csiro.au

CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61
...
On 28 Mar 2016, at 9:29 am, Paul Vlase  wrote:
No answer ... Am I doing something wrong? Beside not have patience.
Could anyone tell about the status of the seL4 Qubes port project and
who can I get in
touch with to talk more about it?
On Tue, Mar 22, 2016 at 11:35 PM, Paul Vlase  wrote:
...
Hello,
My name is Paul Vlase and I am following a master degree right now. I
am interested in porting the Qubes OS to seL4 project and I saw that
you are working already on it. Is there anything I can help you on
this project?
Thank you,
Paul Vlase
_______________________________________________
Devel mailing list
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.