Hi Diego,

Cool! We're currently in the process of making arm board ports much easier, and when that's done we'll write up a concrete tutorial on adding new platform support for ARM boards. For now though...

Which cores are you looking to run seL4 on? And in which mode (aarch64 or aarch32?) We have support for both the A53 and A57, so either would work.

Based on the core, I recommend following the pattern of an existing platform - for A57 the TX1 and for A53 the hikey. Roughly these are the things you'll need to do:

* create a platform directory in src/plat/*

* add the platform in https://github.com/seL4/seL4/blob/master/src/arch/arm/config.cmake#L21

* add support to the elf loader - you can look at how we added TX2 support recently for guidance: https://github.com/seL4/seL4_tools/commit/5039c3aa76819600403b438525379515f7...

* for running sel4 test, you'll need to add support for your platform to libplatsupport: https://github.com/seL4/util_libs/tree/master/libplatsupport/plat_include

I think that's about it, but I'm sure if I've missed something one of my other team members will follow up.

Great to hear you are using seL4. Please feel free to email the mailing list with any issues you have or sign into the irc channel (https://docs.sel4.systems/#Community) to get help.

Cheers

Anna.

?

On 2/13/19, Suman Thakur sumanthakur1976@gmail.com wrote:

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.

seL4 is only a microkernel. You need some kind of OS on top of it for actually running applications. The only working OS environments for seL4 that I'm aware of are CAmkES https://docs.sel4.systems/CAmkES/ and Genode http://genode.org/about/index, and both are "OS frameworks" rather than conventional OSes. CAmkES is only good for static deeply embedded systems and can only run a fixed configuration of processes set at build time. Genode is more like a general-purpose OS and supports dynamic systems. Neither is natively compatible with anything else, although both support running Linux as a guest VM, and Genode also has a Unix compatibility layer (although I think it has a bit of performance overhead compared to running stuff natively). Genode does have a pre-built general-purpose live USB image https://genode.org/download/sculpt although I don't think it is seL4-based (Genode supports multiple microkernels, and seL4 isn't the best supported).

I'm also writing my own sel4-based OS called UX/RT https://gitlab.com/uxrt, which will be a QNX-like conventional general-purpose OS with native Linux compatibility, rather than a framework like CAmkES and Genode. It's currently not even remotely usable though and all it does is print the bootinfo from the kernel to the serial port (I need to finish bringing up basic Rust infrastructure on seL4 before I can start writing any "real" code for UX/RT).