代码拉取完成,页面将自动刷新
#
# 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: '*'
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。