8 Star 23 Fork 11

Gitee 极速下载 / seL4

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
此仓库是为了提升国内下载速度的镜像仓库,每日同步一次。 原始仓库: https://github.com/seL4/seL4
克隆/下载
.cmake-format.yaml 1.04 KB
一键复制 编辑 原始数据 按行查看 历史
Axel Heider 提交于 2024-02-29 15:52 . style: fix cmake formatting spec
#
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: GPL-2.0-only
#
additional_commands:
add_sources:
kwargs:
ASMFILES: '*'
CFILES: '*'
DEP: '*'
PREFIX: '*'
config_option:
kwargs:
DEFAULT: '*'
DEFAULT_DISABLED: '*'
DEPENDS: '*'
config_string:
flags:
- UNQUOTE
- UNDEF_DISABLED
kwargs:
DEFAULT: '*'
DEPENDS: '*'
cppfile:
kwargs:
EXACT_NAME: '*'
EXTRA_DEPS: '*'
EXTRA_FLAGS: '*'
gen_invocation_header:
flags:
- ARCH
- SEL4ARCH
- LIBSEL4
kwargs:
OUTPUT: '*'
XML: '*'
register_driver:
kwargs:
CFILES: '*'
PREFIX: '*'
declare_default_headers:
kwargs:
TIMER_FREQUENCY: '*'
MAX_IRQ: '*'
NUM_PPI: '*'
INTERRUPT_CONTROLLER: '*'
TIMER: '*'
KERNEL_WCET: '*'
CLK_MAGIC: '*'
CLK_SHIFT: '*'
TIMER_PRECISION: '*'
TIMER_OVERHEAD_TICKS: '*'
SMMU: '*'
MAX_SID: '*'
MAX_CB: '*'
C/C++
1
https://gitee.com/mirrors/seL4.git
git@gitee.com:mirrors/seL4.git
mirrors
seL4
seL4
master

搜索帮助