From 98288212f7fa6dbb4370e21e40acd4ab66f6c2f2 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 24 Nov 2021 10:16:52 +0100 Subject: spec: Adjust acfg constraints --- spec/acfg/constraint/option-pre-qualified-mandatory.yml | 14 ++++++++++++++ spec/acfg/constraint/option-pre-qualified-use.yml | 14 -------------- spec/acfg/constraint/option-pre-qualified-zero.yml | 4 ++-- spec/acfg/if/appl-disable-filesystem.yml | 2 ++ spec/acfg/if/disable-newlib-reentrancy.yml | 2 ++ spec/acfg/if/max-file-descriptors.yml | 2 ++ 6 files changed, 22 insertions(+), 16 deletions(-) create mode 100644 spec/acfg/constraint/option-pre-qualified-mandatory.yml delete mode 100644 spec/acfg/constraint/option-pre-qualified-use.yml diff --git a/spec/acfg/constraint/option-pre-qualified-mandatory.yml b/spec/acfg/constraint/option-pre-qualified-mandatory.yml new file mode 100644 index 00000000..0ecb7ca7 --- /dev/null +++ b/spec/acfg/constraint/option-pre-qualified-mandatory.yml @@ -0,0 +1,14 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: /req/usage-constraints +rationale: null +text: | + The application configuration option is mandatory for the pre-qualified + feature set of RTEMS. Applications which are restricted to only use + interfaces of the pre-qualified feature set of RTEMS shall define the + application configuration option. +type: constraint diff --git a/spec/acfg/constraint/option-pre-qualified-use.yml b/spec/acfg/constraint/option-pre-qualified-use.yml deleted file mode 100644 index 512a16e9..00000000 --- a/spec/acfg/constraint/option-pre-qualified-use.yml +++ /dev/null @@ -1,14 +0,0 @@ -SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -copyrights: -- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: true -links: -- role: requirement-refinement - uid: /req/usage-constraints -rationale: null -text: | - The application configuration option is mandatory for the pre-qualified - feature set of RTEMS. Applications which are restricted to only use - interfaces of the pre-qualified feature set of RTEMS shall use the - application configuration option. -type: constraint diff --git a/spec/acfg/constraint/option-pre-qualified-zero.yml b/spec/acfg/constraint/option-pre-qualified-zero.yml index d1db6b38..4eaf34f3 100644 --- a/spec/acfg/constraint/option-pre-qualified-zero.yml +++ b/spec/acfg/constraint/option-pre-qualified-zero.yml @@ -7,8 +7,8 @@ links: uid: /req/usage-constraints rationale: null text: | - A value of zero is required for the application configuration option for the + A value of zero for the application configuration option is mandatory for the pre-qualified feature set of RTEMS. Applications which are restricted to only use interfaces of the pre-qualified feature set of RTEMS shall define - the application configuration option to a value equal to zero. + the application configuration option to zero. type: constraint diff --git a/spec/acfg/if/appl-disable-filesystem.yml b/spec/acfg/if/appl-disable-filesystem.yml index 29d2f15f..61a56bf2 100644 --- a/spec/acfg/if/appl-disable-filesystem.yml +++ b/spec/acfg/if/appl-disable-filesystem.yml @@ -17,6 +17,8 @@ links: uid: ../req/appl-disable-filesystem - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-pre-qualified-mandatory name: CONFIGURE_APPLICATION_DISABLE_FILESYSTEM notes: | Filesystems shall be initialized to support file descriptor based device diff --git a/spec/acfg/if/disable-newlib-reentrancy.yml b/spec/acfg/if/disable-newlib-reentrancy.yml index 184d948d..79d975dc 100644 --- a/spec/acfg/if/disable-newlib-reentrancy.yml +++ b/spec/acfg/if/disable-newlib-reentrancy.yml @@ -13,6 +13,8 @@ links: uid: ../req/disable-newlib-reentrancy - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-pre-qualified-mandatory name: CONFIGURE_DISABLE_NEWLIB_REENTRANCY notes: | You can enable this option to reduce the size of the :term:`TCB`. Use this diff --git a/spec/acfg/if/max-file-descriptors.yml b/spec/acfg/if/max-file-descriptors.yml index d4988451..507f37f2 100644 --- a/spec/acfg/if/max-file-descriptors.yml +++ b/spec/acfg/if/max-file-descriptors.yml @@ -15,6 +15,8 @@ links: uid: ../req/max-file-descriptors - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-pre-qualified-zero - role: constraint uid: ../constraint/min-zero - role: constraint -- cgit v1.2.3