SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
build-type: library
cflags: []
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
cppflags: []
cxxflags: []
enabled-by: true
includes: []
install: []
install-path: null
links: []
source:
- testsuites/validation/tx-call-within-isr.c
- testsuites/validation/tx-default-task-config.c
- testsuites/validation/tx-interrupt.c
- testsuites/validation/tx-io-relax.c
- testsuites/validation/tx-memory-alloc.c
- testsuites/validation/tx-preemption-intervention.c
- testsuites/validation/tx-support.c
- testsuites/validation/tx-thread-queue.c
- testsuites/validation/tx-timecounter.c
- testsuites/validation/tx-timer-server.c
- testsuites/validation/tx-wrap-thread-queue.c
target: validation
type: build