14 Feb
2019
14 Feb
'19
2:49 a.m.
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