On 13 Jan 2015, at 10:24 , Yes Man mailto:yes_man@gmx.com> wrote: Hi all, I read the post about the Intel x86-64 port on Github (https://github.com/seL4/seL4/issues/5) and I'd like to know if anyone is still working on the Intel x86-64 port of SeL4, whether if it is a good idea or not (e.g would anyone use it, how much effort to maintain it, etc.), and how I could contribute if at all (e.g what knowledge and what kind of work is required). I have very basic knowledge of C and no experience in operating systems programming or formal verification. x86 is under active development and should be released soonish. Gernot ________________________________ 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.