1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: GPL-2.0-only
5#
6
7additional_commands:
8  add_sources:
9    kwargs:
10      ASMFILES: '*'
11      CFILES: '*'
12      DEP: '*'
13      PREFIX: '*'
14  config_option:
15    flags:
16    - UNQUOTE
17    kwargs:
18      DEFAULT: '*'
19      DEFAULT_DISABLED: '*'
20      DEPENDS: '*'
21  config_string:
22    flags:
23    - UNQUOTE
24    kwargs:
25      DEFAULT: '*'
26      DEPENDS: '*'
27  cpp_file:
28    kwargs:
29      EXACT_NAME: '*'
30      EXTRA_DEPS: '*'
31      EXTRA_FLAGS: '*'
32  gen_invocation_header:
33    flags:
34    - ARCH
35    - SEL4ARCH
36    - LIBSEL4
37    kwargs:
38      OUTPUT: '*'
39      XML: '*'
40  register_driver:
41    kwargs:
42      CFILES: '*'
43      PREFIX: '*'
44  declare_default_headers:
45    kwargs:
46        TIMER_FREQUENCY: '*'
47        MAX_IRQ: '*'
48        NUM_PPI: '*'
49        INTERRUPT_CONTROLLER: '*'
50        TIMER: '*'
51        KERNEL_WCET: '*'
52        CLK_MAGIC: '*'
53        CLK_SHIFT: '*'
54        TIMER_PRECISION: '*'
55        MAX_SID: '*'
56        MAX_CB: '*'
57