diff options
Diffstat (limited to 'spec/acfg/if/task-stack-allocator-init.yml')
| -rw-r--r-- | spec/acfg/if/task-stack-allocator-init.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/acfg/if/task-stack-allocator-init.yml b/spec/acfg/if/task-stack-allocator-init.yml index a88cd9d1..5a58b5de 100644 --- a/spec/acfg/if/task-stack-allocator-init.yml +++ b/spec/acfg/if/task-stack-allocator-init.yml @@ -16,6 +16,8 @@ links: uid: group-stackalloc - role: constraint uid: ../constraint/init-task-stack-allocator-init +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_TASK_STACK_ALLOCATOR_INIT notes: | A correctly configured system shall configure the following to be consistent: |