Hi, 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
