[seL4] Porting Qubes OS to seL4 project

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 vlase.paul@gmail.com 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