Good afternoon,
As i wrote on friday, we are still dealing with the problems mentioned below. Is there any chance of receive support from you ?
Best regards,
Simone CATALDO ________________________________ Da: simone cataldo simone.cataldo@hotmail.it Inviato: venerdì 23 settembre 2022 15:01 A: devel@sel4.systems devel@sel4.systems Oggetto: Support for Sel4 Project
Good morning,
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.
We are looking forward to hearing from you soon.
Best regards,
Simone CATALDO