RTOS/seL4 - seL4 - Gitea: Git with a cup of tea

RTOS/seL4

Fork 0

forked from Imagelibrary/seL4

Commit Graph

Author	SHA1	Message	Date
Gerwin Klein	79da079239	Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.	2020-03-09 13:21:49 +08:00
Kent McLeod	58b6f3503e	CMake: Add FindseL4.cmake module This adds support for importing this project via `find_package(seL4)` if the project exists in the CMAKE_MODULE_PATH. sel4_import_kernel adds the kernel project to the current build directory. sel4_import_libsel4 adds libsel4 to the current build directory sel4_configure_platform_settings imports seL4Config.cmake which configures kernel configuration and toolchain settings for the target platform.	2019-09-13 18:42:42 +10:00

Author

SHA1

Message

Date

Gerwin Klein

79da079239

Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.

2020-03-09 13:21:49 +08:00

Kent McLeod

58b6f3503e

CMake: Add FindseL4.cmake module

This adds support for importing this project via `find_package(seL4)` if
the project exists in the CMAKE_MODULE_PATH.

sel4_import_kernel adds the kernel project to the current build
directory.

sel4_import_libsel4 adds libsel4 to the current build directory

sel4_configure_platform_settings imports seL4Config.cmake which
configures kernel configuration and toolchain settings for the target
platform.

2019-09-13 18:42:42 +10:00

2 Commits