Google Git
Sign in
opensecura / 3p / sel4proj / global-components / 8575f1a792132fb3fc5f90e8b00a6ddcd04f8331
commit8575f1a792132fb3fc5f90e8b00a6ddcd04f8331[log] [tgz]
authorThomas Wittal <thomas.wittal@hensoldt-cyber.de>Fri Sep 10 14:05:57 2021 +0200
committerGerwin Klein <gerwin@doclsf.de>Tue Sep 14 09:25:50 2021 +1000
tree6c050ccb7893bd58cbb32499c3cee02f3ae9262a
parentef9266135eb6a33563789f0636ba093c0b8a69d4 [diff]
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>
2 files changed
tree: 6c050ccb7893bd58cbb32499c3cee02f3ae9262a
  1. .github/
  2. components/
  3. interfaces/
  4. LICENSES/
  5. plat_components/
  6. remote-drivers/
  7. templates/
  8. .stylefilter
  9. Findglobal-components.cmake
  10. global-components.cmake
  11. global-connectors.cmake
  12. LICENSE.md
  13. README.md
README.md

Global Components

This repository contains a collection of reusable CAmkES components and interfaces.

cmake

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})