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. 

 

Thanks.