SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2020 embedded brains GmbH & Co. KG
enabled-by: true
links: []
non-functional-type: design
rationale: null
references: []
requirement-type: non-functional
text: |
  The software product shall be a real-time operating system.
type: requirement