Sign in
◑
Theme
opensecura
/
3p
/
sel4
/
sel4_tools
/
88de4d5adb7a79e481ceaab39cfdee75540376f5
/
.
/
.cmake-format.yaml
blob: 970d5fd54521a0b1233cede3b39b640a04df329a [
file
]
#
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: GPL-2.0-only
#
additional_commands:
config_option:
flags:
-
UNQUOTE
kwargs:
DEFAULT:
'*'
DEFAULT_DISABLED:
'*'
DEPENDS:
'*'