diff options
Diffstat (limited to 'spec/if/acfg/constraint-wkspace.yml')
| -rw-r--r-- | spec/if/acfg/constraint-wkspace.yml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/spec/if/acfg/constraint-wkspace.yml b/spec/if/acfg/constraint-wkspace.yml deleted file mode 100644 index 63202f44..00000000 --- a/spec/if/acfg/constraint-wkspace.yml +++ /dev/null @@ -1,12 +0,0 @@ -SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -links: [] -rationale: null -scope: user -text: | - The value of this configuration option shall be small enough so that the - RTEMS Workspace size calculation carried out by ``<rtems/confdefs.h>`` does - not overflow an integer of type ${../c/uintptr_t:/name}. -type: constraint |