Simone,
We are a small test team, investigating seL4 microkernel to evaluate its use it as core component for a novel “open avionics” drone concept. Essentially, we are starting from scratch, basing ourselves on the provided tutorials such as “hello world”. We were trying to modify its source code for evaluating basic thing simple functions, basic programs and custom libraries. However, it looks like the memory allocation is static and embedded in the original project: once we increase the complexity of the program it evidently causes trouble. We have not found any documentation about how to set the memory allocation at compile time, and how to include external dependencies (i.e. static libraries). We would like to have some guideline to get us started and direction to some in-depth documentation to acquire enough knowledge to build a full project of our own.
Did you have a look at CAmkES (https://docs.sel4.systems/projects/camkes) for building (static) systems on top of seL4? That will be much easier than doing it the bare metal way. Every CAmkES component is basically an ELF file. With the CMake build system you can easily link static libraries. The heap size can be configured for every component instance, so using malloc is possible easily. I suggest you have a look into the CAmkEs tutorials at https://docs.sel4.systems/Tutorials/#camkes-tutorials and the components available at https://github.com/seL4/global-components Axel