global-components
projects_libs
sel4_projects_libs
sel4runtime