Monthly Archives: July 2024

According to https://docs.sel4.systems/projects/buildsystem/incorporating.html, inside the SeL4 build docker the following project base source structure is to deploy.  Technically this structure is as follows constructed  The root task is added by adding an additional project below the project folder. An good … Continue reading →