I'm very new to seL4. I would like to run seL4 on x86_64 Intel NUC, and I was wondering if there's a "distribution" that I could try. If not, any pointers on how to create a functional seL4 box that can run, say apache, will be really helpful.

Thanks

Suman