templates: add _get_buf() in seL4MultisharedData Adds a function to retrieve the generated dataport on the -from side of the template. Mirrors the _buf(seL4_Word client_id) function on the -to template side. The function could not be named _buf() as this lead to a symbol clash with shmem_name. Signed-off-by: Thomas Wittal <thomas.wittal@hensoldt-cyber.de>
This repository contains a collection of reusable CAmkES components and interfaces.
To include components and interfaces from this repository ensure that global-components.cmake is included in your project. An example is below.
find_file(GLOBAL_COMPONENTS_PATH global-components.cmake PATHS ${CMAKE_SOURCE_DIR}/projects/global-components/ CMAKE_FIND_ROOT_PATH_BOTH) mark_as_advanced(FORCE GLOBAL_COMPONENTS_PATH) if("${GLOBAL_COMPONENTS_PATH}" STREQUAL "GLOBAL_COMPONENTS_PATH-NOTFOUND") message(FATAL_ERROR "Failed to find global-components.cmake. Consider cmake -DGLOBAL_COMPONENTS_PATH=/path/to/global-components.cmake") endif() include(${GLOBAL_COMPONENTS_PATH})