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(a)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