forked from Imagelibrary/seL4
4a7d08def0
For ARM currently TIMER_PRECISION exists, but that is in microseconds and not fine-grained enough. This is needed to make periodic tasks synchronous with the system clock. If this value is zero every period will be extended with the overhead of taking an interrupt and reading the system clock. To avoid this drift, the configured value should be set to at least the average overhead. See also issue #844. Signed-off-by: Indan Zupancic <Indan.Zupancic@mep-info.com>
58 lines
1.0 KiB
YAML
58 lines
1.0 KiB
YAML
#
|
|
# 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:
|
|
flags:
|
|
- UNQUOTE
|
|
kwargs:
|
|
DEFAULT: '*'
|
|
DEFAULT_DISABLED: '*'
|
|
DEPENDS: '*'
|
|
config_string:
|
|
flags:
|
|
- UNQUOTE
|
|
kwargs:
|
|
DEFAULT: '*'
|
|
DEPENDS: '*'
|
|
cpp_file:
|
|
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: '*'
|
|
MAX_SID: '*'
|
|
MAX_CB: '*'
|