[rtems-central commit] spec: Clarify BSP-provided configuration options
Sebastian Huber
sebh at rtems.org
Tue May 9 13:45:26 UTC 2023
Module: rtems-central
Branch: master
Commit: 5d9925f44ccada91f2683a6caa04333b1d704bfb
Changeset: http://git.rtems.org/rtems-central/commit/?id=5d9925f44ccada91f2683a6caa04333b1d704bfb
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Fri May 5 14:41:19 2023 +0200
spec: Clarify BSP-provided configuration options
---
spec/acfg/req/bsp-initial-extension.yml | 13 ++++++++-----
spec/acfg/req/bsp-prerequisite-drivers.yml | 10 ++++++----
spec/acfg/req/malloc-bsp-supports-sbrk.yml | 12 +++++++-----
3 files changed, 21 insertions(+), 14 deletions(-)
diff --git a/spec/acfg/req/bsp-initial-extension.yml b/spec/acfg/req/bsp-initial-extension.yml
index 973410db..a23457fb 100644
--- a/spec/acfg/req/bsp-initial-extension.yml
+++ b/spec/acfg/req/bsp-initial-extension.yml
@@ -3,6 +3,8 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
+- role: interface-function
+ uid: /bsp/if/acfg-initial-extension
- role: requirement-refinement
uid: init
functional-type: function
@@ -10,9 +12,10 @@ rationale: null
references: []
requirement-type: functional
text: |
- Where ${../if/disable-bsp-settings:/name} is not defined by the application,
- where ${/bsp/if/acfg-initial-extension:/name} is defined by the
- ${/glossary/bsp:/term}, when the application configuration is initialized,
- the extension set defined by ${/bsp/if/acfg-initial-extension:/name} shall be
- registered in the ${/glossary/initial-extension-sets:/term}.
+ Where ${/bsp/if/acfg-initial-extension:/name} is defined by the
+ ${/glossary/bsp:/term}, while ${../if/disable-bsp-settings:/name} is not
+ defined by the application, when the application configuration is
+ initialized, the extension set defined by
+ ${/bsp/if/acfg-initial-extension:/name} shall be registered in the
+ ${/glossary/initial-extension-sets:/term}.
type: requirement
diff --git a/spec/acfg/req/bsp-prerequisite-drivers.yml b/spec/acfg/req/bsp-prerequisite-drivers.yml
index 7b418593..c66bf842 100644
--- a/spec/acfg/req/bsp-prerequisite-drivers.yml
+++ b/spec/acfg/req/bsp-prerequisite-drivers.yml
@@ -3,6 +3,8 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
+- role: interface-function
+ uid: /bsp/if/acfg-prerequisite-drivers
- role: requirement-refinement
uid: init
functional-type: function
@@ -10,10 +12,10 @@ rationale: null
references: []
requirement-type: functional
text: |
- Where ${../if/disable-bsp-settings:/name} is not defined by the application,
- where ${/bsp/if/acfg-prerequisite-drivers:/name} is defined by the
- ${/glossary/bsp:/term}, when the application configuration is initialized,
- the device driver entry points defined by
+ Where ${/bsp/if/acfg-prerequisite-drivers:/name} is defined by the
+ ${/glossary/bsp:/term}, while ${../if/disable-bsp-settings:/name} is not
+ defined by the application, when the application configuration is
+ initialized, the device driver entry points defined by
${/bsp/if/acfg-prerequisite-drivers:/name} shall be registered in the
${/glossary/devicedrivertable:/term}.
type: requirement
diff --git a/spec/acfg/req/malloc-bsp-supports-sbrk.yml b/spec/acfg/req/malloc-bsp-supports-sbrk.yml
index a2b8ffdc..4c247544 100644
--- a/spec/acfg/req/malloc-bsp-supports-sbrk.yml
+++ b/spec/acfg/req/malloc-bsp-supports-sbrk.yml
@@ -3,6 +3,8 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
+- role: interface-function
+ uid: /bsp/if/acfg-malloc-supports-sbrk
- role: requirement-refinement
uid: init
functional-type: function
@@ -10,9 +12,9 @@ rationale: null
references: []
requirement-type: functional
text: |
- Where ${../if/disable-bsp-settings:/name} is not defined by the application,
- where ${/bsp/if/acfg-malloc-supports-sbrk:/name} is defined by the
- ${/glossary/bsp:/term}, when the application configuration is initialized,
- not all memory shall made available to the C Program Heap immediately at
- system initialization time.
+ Where ${/bsp/if/acfg-malloc-supports-sbrk:/name} is defined by the
+ ${/glossary/bsp:/term}, while ${../if/disable-bsp-settings:/name} is not
+ defined by the application, when the application configuration is
+ initialized, not all memory shall made available to the C Program Heap
+ immediately at system initialization time.
type: requirement
More information about the vc
mailing list