summaryrefslogtreecommitdiffstats
path: root/spec/acfg/constraint/task-stack-from-alloc.yml
blob: 0f04fe49b63294845b1c3504979bb4e92e28b84b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2020, 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
- role: requirement-refinement
  uid: /req/usage-constraints
rationale: null
text: |
  The value of the application configuration option shall be defined to a macro
  which accepts exactly one parameter and returns an unsigned integer.  The
  parameter will be an allocation size and the macro shall return this size
  plus the overhead of the allocator to manage an allocation request for this
  size.
type: constraint