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.