SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause actions: - get-boolean: null - define-condition: null build-type: option copyrights: - Copyright (C) 2020 embedded brains GmbH & Co. KG default: - enabled-by: powerpc/psim value: true - enabled-by: true value: false description: | This sets a mode where the time runs as fast as possible when a clock ISR occurs while the IDLE thread is executing. This can significantly reduce simulation times. enabled-by: true links: [] name: CLOCK_DRIVER_USE_FAST_IDLE type: build