spec: Clarify BSP-provided configuration options

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