14 Feb
2019
14 Feb
'19
12:49 p.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