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:
  - aarch64/a53_ilp32_qemu
  - aarch64/a53_lp64_qemu
  - aarch64/a72_ilp32_qemu
  - aarch64/a72_lp64_qemu
  - aarch64/xilinx_versal_qemu
  - aarch64/xilinx_zynqmp_ilp32_qemu
  - aarch64/xilinx_zynqmp_lp64_qemu
  - arm/lm3s6965_qemu
  - arm/realview_pbx_a9_qemu
  - arm/xilinx_zynq_a9_qemu
  - microblaze/kcu105_qemu
  - powerpc/qemuppc
  - powerpc/qemuprep
  - powerpc/qemuprep-altivec
  value: true
- enabled-by: true
  value: false
description: |
  Set 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