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/5039c3aa76819600403b438525379515f78d9d64

* 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. 

​