summaryrefslogtreecommitdiffstats
path: root/spec/build/bsps/arm/xen/optgentmunmask.yml
blob: 79f8ac42c36c40fd1222cfc71eed56378f1c0381 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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 (http://www.embedded-brains.de)
default: true
default-by-family: []
default-by-variant: []
description: |
  unmask the timer in the tick handler, since Xen will mask the virtual timer before injecting the interrupt to the guest
enabled-by: true
links: []
name: ARM_GENERIC_TIMER_UNMASK_AT_TICK
type: build