From b2880bcfba606f3dfa96ba8505c96f6f00e946db Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 28 Sep 2021 10:10:15 +0200 Subject: spec: Mark some acfg options as not pre-qualified --- spec/acfg/if/appl-extra-drivers.yml | 2 ++ spec/acfg/if/appl-needs-ata-driver.yml | 2 ++ spec/acfg/if/appl-needs-console-driver.yml | 2 ++ spec/acfg/if/appl-needs-framebuffer-driver.yml | 2 ++ spec/acfg/if/appl-needs-ide-driver.yml | 2 ++ spec/acfg/if/appl-needs-libblock.yml | 2 ++ spec/acfg/if/appl-needs-null-driver.yml | 2 ++ spec/acfg/if/appl-needs-rtc-driver.yml | 2 ++ spec/acfg/if/appl-needs-simple-console-driver.yml | 2 ++ spec/acfg/if/appl-needs-simple-task-console-driver.yml | 2 ++ spec/acfg/if/appl-needs-stub-driver.yml | 2 ++ spec/acfg/if/appl-needs-timer-driver.yml | 2 ++ spec/acfg/if/appl-needs-watchdog-driver.yml | 2 ++ spec/acfg/if/appl-needs-zero-driver.yml | 2 ++ spec/acfg/if/appl-prerequisite-drivers.yml | 2 ++ spec/acfg/if/ata-driver-task-priority.yml | 2 ++ spec/acfg/if/bdbuf-buffer-max-size.yml | 2 ++ spec/acfg/if/bdbuf-buffer-min-size.yml | 2 ++ spec/acfg/if/bdbuf-cache-memory-size.yml | 2 ++ spec/acfg/if/bdbuf-max-read-ahead-blocks.yml | 2 ++ spec/acfg/if/bdbuf-max-write-blocks.yml | 2 ++ spec/acfg/if/bdbuf-read-ahead-task-priority.yml | 2 ++ spec/acfg/if/bdbuf-swapout-block-hold.yml | 2 ++ spec/acfg/if/bdbuf-swapout-swap-period.yml | 2 ++ spec/acfg/if/bdbuf-swapout-task-priority.yml | 2 ++ spec/acfg/if/bdbuf-swapout-worker-taskp-riority.yml | 2 ++ spec/acfg/if/bdbuf-swapout-worker-tasks.yml | 2 ++ spec/acfg/if/bdbuf-task-stack-size.yml | 2 ++ spec/acfg/if/bsp-idle-task-stack-size.yml | 2 ++ spec/acfg/if/bsp-interrupt-stack-size.yml | 2 ++ spec/acfg/if/bsp-prerequisite-drivers.yml | 2 ++ spec/acfg/if/cbs-max-servers.yml | 2 ++ spec/acfg/if/dirty-memory.yml | 2 ++ spec/acfg/if/executive-ram-size.yml | 2 ++ spec/acfg/if/extra-task-stacks.yml | 2 ++ spec/acfg/if/filesystem-all.yml | 2 ++ spec/acfg/if/filesystem-dosfs.yml | 2 ++ spec/acfg/if/filesystem-ftpfs.yml | 2 ++ spec/acfg/if/filesystem-imfs.yml | 2 ++ spec/acfg/if/filesystem-jffs2.yml | 2 ++ spec/acfg/if/filesystem-nfs.yml | 2 ++ spec/acfg/if/filesystem-rfs.yml | 2 ++ spec/acfg/if/filesystem-tftpfs.yml | 2 ++ spec/acfg/if/imfs-disable-chmod.yml | 2 ++ spec/acfg/if/imfs-disable-chown.yml | 2 ++ spec/acfg/if/imfs-disable-link.yml | 2 ++ spec/acfg/if/imfs-disable-mknod-device.yml | 2 ++ spec/acfg/if/imfs-disable-mknod-file.yml | 2 ++ spec/acfg/if/imfs-disable-mknod.yml | 2 ++ spec/acfg/if/imfs-disable-mount.yml | 2 ++ spec/acfg/if/imfs-disable-readdir.yml | 2 ++ spec/acfg/if/imfs-disable-readlink.yml | 2 ++ spec/acfg/if/imfs-disable-rename.yml | 2 ++ spec/acfg/if/imfs-disable-rmnod.yml | 2 ++ spec/acfg/if/imfs-disable-symlink.yml | 2 ++ spec/acfg/if/imfs-disable-unmount.yml | 2 ++ spec/acfg/if/imfs-disable-utime.yml | 2 ++ spec/acfg/if/imfs-enable-mkfifo.yml | 2 ++ spec/acfg/if/imfs-memfile-bytes-per-block.yml | 2 ++ spec/acfg/if/init-task-stack-size.yml | 2 ++ spec/acfg/if/malloc-bsp-supports-sbrk.yml | 2 ++ spec/acfg/if/malloc-dirty.yml | 2 ++ spec/acfg/if/max-drivers.yml | 2 ++ spec/acfg/if/max-ports.yml | 2 ++ spec/acfg/if/max-posix-key-value-pairs.yml | 2 ++ spec/acfg/if/max-posix-keys.yml | 2 ++ spec/acfg/if/max-posix-message-queues.yml | 2 ++ spec/acfg/if/max-posix-queued-signals.yml | 2 ++ spec/acfg/if/max-posix-semaphores.yml | 2 ++ spec/acfg/if/max-posix-shms.yml | 2 ++ spec/acfg/if/max-posix-threads.yml | 2 ++ spec/acfg/if/max-posix-timers.yml | 2 ++ spec/acfg/if/max-regions.yml | 2 ++ spec/acfg/if/max-thread-name-size.yml | 2 ++ spec/acfg/if/memory-overhead.yml | 2 ++ spec/acfg/if/message-buffer-memory.yml | 2 ++ spec/acfg/if/min-posix-thread-stack-size.yml | 2 ++ spec/acfg/if/mp-appl.yml | 2 ++ spec/acfg/if/mp-extra-server-stack.yml | 2 ++ spec/acfg/if/mp-max-global-objects.yml | 2 ++ spec/acfg/if/mp-max-nodes.yml | 2 ++ spec/acfg/if/mp-max-proxies.yml | 2 ++ spec/acfg/if/mp-mpci-table-pointer.yml | 2 ++ spec/acfg/if/mp-node-number.yml | 2 ++ spec/acfg/if/posix-init-thread-entry-point.yml | 2 ++ spec/acfg/if/posix-init-thread-stack-size.yml | 2 ++ spec/acfg/if/posix-init-thread-table.yml | 2 ++ spec/acfg/if/record-extensions-enabled.yml | 2 ++ spec/acfg/if/record-fatal-dump-base64-zlib.yml | 2 ++ spec/acfg/if/record-fatal-dump-base64.yml | 2 ++ spec/acfg/if/record-per-processor-items.yml | 2 ++ spec/acfg/if/scheduler-cbs.yml | 2 ++ spec/acfg/if/scheduler-edf.yml | 2 ++ spec/acfg/if/scheduler-priority-affinity-smp.yml | 2 ++ spec/acfg/if/scheduler-priority-smp.yml | 2 ++ spec/acfg/if/scheduler-simple-smp.yml | 2 ++ spec/acfg/if/scheduler-simple.yml | 2 ++ spec/acfg/if/scheduler-strong-apa.yml | 2 ++ spec/acfg/if/scheduler-user.yml | 2 ++ spec/acfg/if/stack-checker-enabled.yml | 2 ++ spec/acfg/if/task-stack-allocator-init.yml | 2 ++ spec/acfg/if/task-stack-from-alloc.yml | 2 ++ spec/acfg/if/unified-work-areas.yml | 2 ++ spec/acfg/if/unlimited-allocation-size.yml | 2 ++ spec/acfg/if/unlimited-objects.yml | 2 ++ spec/acfg/if/use-devfs-as-base-filesystem.yml | 2 ++ spec/acfg/if/use-miniimfs-as-base-filesystem.yml | 2 ++ spec/acfg/if/verbose-system-init.yml | 2 ++ spec/acfg/if/zero-workspace-automatically.yml | 2 ++ 109 files changed, 218 insertions(+) diff --git a/spec/acfg/if/appl-extra-drivers.yml b/spec/acfg/if/appl-extra-drivers.yml index c47258be..333a6c77 100644 --- a/spec/acfg/if/appl-extra-drivers.yml +++ b/spec/acfg/if/appl-extra-drivers.yml @@ -17,6 +17,8 @@ links: uid: group-devdrv - role: constraint uid: ../constraint/init-driver-table +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_EXTRA_DRIVERS notes: | The value of this configuration option is placed after the entries of other diff --git a/spec/acfg/if/appl-needs-ata-driver.yml b/spec/acfg/if/appl-needs-ata-driver.yml index 4502cf08..eb62329e 100644 --- a/spec/acfg/if/appl-needs-ata-driver.yml +++ b/spec/acfg/if/appl-needs-ata-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-ata-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_ATA_DRIVER notes: | Most BSPs do not include support for an ATA Driver. diff --git a/spec/acfg/if/appl-needs-console-driver.yml b/spec/acfg/if/appl-needs-console-driver.yml index b1cfd54f..893a81d5 100644 --- a/spec/acfg/if/appl-needs-console-driver.yml +++ b/spec/acfg/if/appl-needs-console-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-console-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER notes: | The Console Driver is responsible for providing the :file:`/dev/console` diff --git a/spec/acfg/if/appl-needs-framebuffer-driver.yml b/spec/acfg/if/appl-needs-framebuffer-driver.yml index 0ee1ac1e..646fb357 100644 --- a/spec/acfg/if/appl-needs-framebuffer-driver.yml +++ b/spec/acfg/if/appl-needs-framebuffer-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-framebuffer-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_FRAME_BUFFER_DRIVER notes: | Most BSPs do not include support for a Frame Buffer Driver. This is diff --git a/spec/acfg/if/appl-needs-ide-driver.yml b/spec/acfg/if/appl-needs-ide-driver.yml index 95186124..bd2cce7b 100644 --- a/spec/acfg/if/appl-needs-ide-driver.yml +++ b/spec/acfg/if/appl-needs-ide-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-ide-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_IDE_DRIVER notes: | Most BSPs do not include support for an IDE Driver. diff --git a/spec/acfg/if/appl-needs-libblock.yml b/spec/acfg/if/appl-needs-libblock.yml index f40884ef..5b1bc0d9 100644 --- a/spec/acfg/if/appl-needs-libblock.yml +++ b/spec/acfg/if/appl-needs-libblock.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-libblock - role: appl-config-group-member uid: group-bdbuf +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_LIBBLOCK notes: | Each option of the Block Device Cache (bdbuf) configuration can be explicitly diff --git a/spec/acfg/if/appl-needs-null-driver.yml b/spec/acfg/if/appl-needs-null-driver.yml index c6c1255e..63e104b3 100644 --- a/spec/acfg/if/appl-needs-null-driver.yml +++ b/spec/acfg/if/appl-needs-null-driver.yml @@ -14,6 +14,8 @@ links: uid: ../req/appl-needs-null-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_NULL_DRIVER notes: | This device driver is supported by all BSPs. diff --git a/spec/acfg/if/appl-needs-rtc-driver.yml b/spec/acfg/if/appl-needs-rtc-driver.yml index f32d4a71..ccd74287 100644 --- a/spec/acfg/if/appl-needs-rtc-driver.yml +++ b/spec/acfg/if/appl-needs-rtc-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-rtc-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_RTC_DRIVER notes: | Most BSPs do not include support for a real-time clock (RTC). This is because diff --git a/spec/acfg/if/appl-needs-simple-console-driver.yml b/spec/acfg/if/appl-needs-simple-console-driver.yml index cf25b4ff..9e7441c4 100644 --- a/spec/acfg/if/appl-needs-simple-console-driver.yml +++ b/spec/acfg/if/appl-needs-simple-console-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-simple-console-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_SIMPLE_CONSOLE_DRIVER notes: | This device driver is responsible for providing the :file:`/dev/console` diff --git a/spec/acfg/if/appl-needs-simple-task-console-driver.yml b/spec/acfg/if/appl-needs-simple-task-console-driver.yml index aef29e46..a137c4b9 100644 --- a/spec/acfg/if/appl-needs-simple-task-console-driver.yml +++ b/spec/acfg/if/appl-needs-simple-task-console-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-simple-task-console-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_SIMPLE_TASK_CONSOLE_DRIVER notes: | This device driver is responsible for providing the :file:`/dev/console` diff --git a/spec/acfg/if/appl-needs-stub-driver.yml b/spec/acfg/if/appl-needs-stub-driver.yml index 65284f63..c5c5272c 100644 --- a/spec/acfg/if/appl-needs-stub-driver.yml +++ b/spec/acfg/if/appl-needs-stub-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-stub-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_STUB_DRIVER notes: | This device driver simply provides entry points that return successful and diff --git a/spec/acfg/if/appl-needs-timer-driver.yml b/spec/acfg/if/appl-needs-timer-driver.yml index 0a4f5ea7..63879cc7 100644 --- a/spec/acfg/if/appl-needs-timer-driver.yml +++ b/spec/acfg/if/appl-needs-timer-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-timer-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_TIMER_DRIVER notes: | The Benchmark Timer Driver is intended for the benchmark tests of the RTEMS diff --git a/spec/acfg/if/appl-needs-watchdog-driver.yml b/spec/acfg/if/appl-needs-watchdog-driver.yml index 1a6aeef3..df2b825c 100644 --- a/spec/acfg/if/appl-needs-watchdog-driver.yml +++ b/spec/acfg/if/appl-needs-watchdog-driver.yml @@ -13,6 +13,8 @@ links: uid: ../req/appl-needs-watchdog-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_WATCHDOG_DRIVER notes: | Most BSPs do not include support for a watchdog device driver. This is diff --git a/spec/acfg/if/appl-needs-zero-driver.yml b/spec/acfg/if/appl-needs-zero-driver.yml index 2f2adece..7505f061 100644 --- a/spec/acfg/if/appl-needs-zero-driver.yml +++ b/spec/acfg/if/appl-needs-zero-driver.yml @@ -14,6 +14,8 @@ links: uid: ../req/appl-needs-zero-driver - role: appl-config-group-member uid: group-devdrv +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_NEEDS_ZERO_DRIVER notes: | This device driver is supported by all BSPs. diff --git a/spec/acfg/if/appl-prerequisite-drivers.yml b/spec/acfg/if/appl-prerequisite-drivers.yml index d917d1f3..fbc2aeb7 100644 --- a/spec/acfg/if/appl-prerequisite-drivers.yml +++ b/spec/acfg/if/appl-prerequisite-drivers.yml @@ -17,6 +17,8 @@ links: uid: group-devdrv - role: constraint uid: ../constraint/init-driver-table +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_APPLICATION_PREREQUISITE_DRIVERS notes: | The value of this configuration option is placed after the entries defined by diff --git a/spec/acfg/if/ata-driver-task-priority.yml b/spec/acfg/if/ata-driver-task-priority.yml index ab3b4a1d..7e9b74b8 100644 --- a/spec/acfg/if/ata-driver-task-priority.yml +++ b/spec/acfg/if/ata-driver-task-priority.yml @@ -15,6 +15,8 @@ links: uid: group-devdrv - role: constraint uid: ../constraint/valid-task-priority +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_ATA_DRIVER_TASK_PRIORITY notes: | This configuration option is only evaluated if the configuration option diff --git a/spec/acfg/if/bdbuf-buffer-max-size.yml b/spec/acfg/if/bdbuf-buffer-max-size.yml index 10b16a1d..7b23b31b 100644 --- a/spec/acfg/if/bdbuf-buffer-max-size.yml +++ b/spec/acfg/if/bdbuf-buffer-max-size.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/multiple-of-bdbuf-buffer-min-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_BUFFER_MAX_SIZE notes: null type: interface diff --git a/spec/acfg/if/bdbuf-buffer-min-size.yml b/spec/acfg/if/bdbuf-buffer-min-size.yml index 66a2b79c..5b6f288f 100644 --- a/spec/acfg/if/bdbuf-buffer-min-size.yml +++ b/spec/acfg/if/bdbuf-buffer-min-size.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_BUFFER_MIN_SIZE notes: null type: interface diff --git a/spec/acfg/if/bdbuf-cache-memory-size.yml b/spec/acfg/if/bdbuf-cache-memory-size.yml index fb19cf5c..a828bd68 100644 --- a/spec/acfg/if/bdbuf-cache-memory-size.yml +++ b/spec/acfg/if/bdbuf-cache-memory-size.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_CACHE_MEMORY_SIZE notes: null type: interface diff --git a/spec/acfg/if/bdbuf-max-read-ahead-blocks.yml b/spec/acfg/if/bdbuf-max-read-ahead-blocks.yml index 5903dc88..dff558de 100644 --- a/spec/acfg/if/bdbuf-max-read-ahead-blocks.yml +++ b/spec/acfg/if/bdbuf-max-read-ahead-blocks.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_MAX_READ_AHEAD_BLOCKS notes: | A value of 0 disables the read-ahead task (default). The read-ahead task diff --git a/spec/acfg/if/bdbuf-max-write-blocks.yml b/spec/acfg/if/bdbuf-max-write-blocks.yml index 86c1044a..43404fe9 100644 --- a/spec/acfg/if/bdbuf-max-write-blocks.yml +++ b/spec/acfg/if/bdbuf-max-write-blocks.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_MAX_WRITE_BLOCKS notes: null type: interface diff --git a/spec/acfg/if/bdbuf-read-ahead-task-priority.yml b/spec/acfg/if/bdbuf-read-ahead-task-priority.yml index 010484f8..b5e1f9a5 100644 --- a/spec/acfg/if/bdbuf-read-ahead-task-priority.yml +++ b/spec/acfg/if/bdbuf-read-ahead-task-priority.yml @@ -15,6 +15,8 @@ links: uid: group-bdbuf - role: constraint uid: ../constraint/valid-task-priority +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_READ_AHEAD_TASK_PRIORITY notes: null type: interface diff --git a/spec/acfg/if/bdbuf-swapout-block-hold.yml b/spec/acfg/if/bdbuf-swapout-block-hold.yml index b693c23e..b2bc08c0 100644 --- a/spec/acfg/if/bdbuf-swapout-block-hold.yml +++ b/spec/acfg/if/bdbuf-swapout-block-hold.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SWAPOUT_BLOCK_HOLD notes: null type: interface diff --git a/spec/acfg/if/bdbuf-swapout-swap-period.yml b/spec/acfg/if/bdbuf-swapout-swap-period.yml index 80a8cfc0..a6d69e48 100644 --- a/spec/acfg/if/bdbuf-swapout-swap-period.yml +++ b/spec/acfg/if/bdbuf-swapout-swap-period.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SWAPOUT_SWAP_PERIOD notes: null type: interface diff --git a/spec/acfg/if/bdbuf-swapout-task-priority.yml b/spec/acfg/if/bdbuf-swapout-task-priority.yml index 05425d0d..01e8cbda 100644 --- a/spec/acfg/if/bdbuf-swapout-task-priority.yml +++ b/spec/acfg/if/bdbuf-swapout-task-priority.yml @@ -15,6 +15,8 @@ links: uid: group-bdbuf - role: constraint uid: ../constraint/valid-task-priority +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SWAPOUT_TASK_PRIORITY notes: null type: interface diff --git a/spec/acfg/if/bdbuf-swapout-worker-taskp-riority.yml b/spec/acfg/if/bdbuf-swapout-worker-taskp-riority.yml index b360de31..bd67d571 100644 --- a/spec/acfg/if/bdbuf-swapout-worker-taskp-riority.yml +++ b/spec/acfg/if/bdbuf-swapout-worker-taskp-riority.yml @@ -16,6 +16,8 @@ links: uid: group-bdbuf - role: constraint uid: ../constraint/valid-task-priority +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SWAPOUT_WORKER_TASK_PRIORITY notes: null type: interface diff --git a/spec/acfg/if/bdbuf-swapout-worker-tasks.yml b/spec/acfg/if/bdbuf-swapout-worker-tasks.yml index d0b9fc3d..65b22f7e 100644 --- a/spec/acfg/if/bdbuf-swapout-worker-tasks.yml +++ b/spec/acfg/if/bdbuf-swapout-worker-tasks.yml @@ -17,6 +17,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SWAPOUT_WORKER_TASKS notes: null type: interface diff --git a/spec/acfg/if/bdbuf-task-stack-size.yml b/spec/acfg/if/bdbuf-task-stack-size.yml index 444ac90f..608facc2 100644 --- a/spec/acfg/if/bdbuf-task-stack-size.yml +++ b/spec/acfg/if/bdbuf-task-stack-size.yml @@ -20,6 +20,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/stack-space +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BDBUF_TASK_STACK_SIZE notes: null type: interface diff --git a/spec/acfg/if/bsp-idle-task-stack-size.yml b/spec/acfg/if/bsp-idle-task-stack-size.yml index d3ec5fc0..e7c945a2 100644 --- a/spec/acfg/if/bsp-idle-task-stack-size.yml +++ b/spec/acfg/if/bsp-idle-task-stack-size.yml @@ -25,6 +25,8 @@ links: uid: ../constraint/min-bsp-app - role: constraint uid: ../constraint/valid-idle-stack-area +- role: constraint + uid: ../constraint/option-not-pre-qualified name: BSP_IDLE_TASK_STACK_SIZE notes: null type: interface diff --git a/spec/acfg/if/bsp-interrupt-stack-size.yml b/spec/acfg/if/bsp-interrupt-stack-size.yml index 5b5f7fcb..fd89d3a6 100644 --- a/spec/acfg/if/bsp-interrupt-stack-size.yml +++ b/spec/acfg/if/bsp-interrupt-stack-size.yml @@ -27,6 +27,8 @@ links: uid: ../constraint/valid-isr-stack-area - role: constraint uid: ../constraint/valid-isr-stack-alignment +- role: constraint + uid: ../constraint/option-not-pre-qualified name: BSP_INTERRUPT_STACK_SIZE notes: null type: interface diff --git a/spec/acfg/if/bsp-prerequisite-drivers.yml b/spec/acfg/if/bsp-prerequisite-drivers.yml index 4d4efad6..121ee5ce 100644 --- a/spec/acfg/if/bsp-prerequisite-drivers.yml +++ b/spec/acfg/if/bsp-prerequisite-drivers.yml @@ -23,6 +23,8 @@ links: uid: group-bsp - role: constraint uid: ../constraint/init-userext-table +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_BSP_PREREQUISITE_DRIVERS notes: | The value of this configuration option is placed before the entries of all diff --git a/spec/acfg/if/cbs-max-servers.yml b/spec/acfg/if/cbs-max-servers.yml index 2d56d50b..e608e2de 100644 --- a/spec/acfg/if/cbs-max-servers.yml +++ b/spec/acfg/if/cbs-max-servers.yml @@ -20,6 +20,8 @@ links: uid: ../constraint/max-size - role: constraint uid: ../constraint/memory-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_CBS_MAXIMUM_SERVERS notes: | This configuration option is only evaluated if the configuration option diff --git a/spec/acfg/if/dirty-memory.yml b/spec/acfg/if/dirty-memory.yml index a9c961a0..77573b73 100644 --- a/spec/acfg/if/dirty-memory.yml +++ b/spec/acfg/if/dirty-memory.yml @@ -14,6 +14,8 @@ links: uid: ../req/dirty-memory - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_DIRTY_MEMORY notes: | Dirtying memory can add significantly to system initialization time. It may diff --git a/spec/acfg/if/executive-ram-size.yml b/spec/acfg/if/executive-ram-size.yml index 0d998723..849f2c30 100644 --- a/spec/acfg/if/executive-ram-size.yml +++ b/spec/acfg/if/executive-ram-size.yml @@ -23,6 +23,8 @@ links: uid: ../constraint/max-uintptr - role: constraint uid: ../constraint/memory-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_EXECUTIVE_RAM_SIZE notes: | This is an advanced configuration option. Use it only if you know exactly diff --git a/spec/acfg/if/extra-task-stacks.yml b/spec/acfg/if/extra-task-stacks.yml index 38bfa229..badb4044 100644 --- a/spec/acfg/if/extra-task-stacks.yml +++ b/spec/acfg/if/extra-task-stacks.yml @@ -20,6 +20,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/stack-space +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_EXTRA_TASK_STACKS notes: | This parameter is very important. If the application creates tasks with diff --git a/spec/acfg/if/filesystem-all.yml b/spec/acfg/if/filesystem-all.yml index 1b48fca3..24b697ec 100644 --- a/spec/acfg/if/filesystem-all.yml +++ b/spec/acfg/if/filesystem-all.yml @@ -27,6 +27,8 @@ links: uid: ../req/filesystem-all - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_ALL notes: null type: interface diff --git a/spec/acfg/if/filesystem-dosfs.yml b/spec/acfg/if/filesystem-dosfs.yml index 25410573..94827dc1 100644 --- a/spec/acfg/if/filesystem-dosfs.yml +++ b/spec/acfg/if/filesystem-dosfs.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-dosfs - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_DOSFS notes: | This filesystem requires a Block Device Cache configuration, see diff --git a/spec/acfg/if/filesystem-ftpfs.yml b/spec/acfg/if/filesystem-ftpfs.yml index 80abbbf8..d0f1fe2e 100644 --- a/spec/acfg/if/filesystem-ftpfs.yml +++ b/spec/acfg/if/filesystem-ftpfs.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-ftpfs - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_FTPFS notes: null type: interface diff --git a/spec/acfg/if/filesystem-imfs.yml b/spec/acfg/if/filesystem-imfs.yml index 12bbf95c..21c14bc4 100644 --- a/spec/acfg/if/filesystem-imfs.yml +++ b/spec/acfg/if/filesystem-imfs.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-imfs - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_IMFS notes: | Applications will rarely need this configuration option. This configuration diff --git a/spec/acfg/if/filesystem-jffs2.yml b/spec/acfg/if/filesystem-jffs2.yml index 0b33bf2b..f72c395a 100644 --- a/spec/acfg/if/filesystem-jffs2.yml +++ b/spec/acfg/if/filesystem-jffs2.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-jffs2 - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_JFFS2 notes: null type: interface diff --git a/spec/acfg/if/filesystem-nfs.yml b/spec/acfg/if/filesystem-nfs.yml index 4871c962..feae256f 100644 --- a/spec/acfg/if/filesystem-nfs.yml +++ b/spec/acfg/if/filesystem-nfs.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-nfs - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_NFS notes: null type: interface diff --git a/spec/acfg/if/filesystem-rfs.yml b/spec/acfg/if/filesystem-rfs.yml index 019a8fff..5cd12a97 100644 --- a/spec/acfg/if/filesystem-rfs.yml +++ b/spec/acfg/if/filesystem-rfs.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-rfs - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_RFS notes: | This filesystem requires a Block Device Cache configuration, see diff --git a/spec/acfg/if/filesystem-tftpfs.yml b/spec/acfg/if/filesystem-tftpfs.yml index 35f1e681..dffbe524 100644 --- a/spec/acfg/if/filesystem-tftpfs.yml +++ b/spec/acfg/if/filesystem-tftpfs.yml @@ -14,6 +14,8 @@ links: uid: ../req/filesystem-tftpfs - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_FILESYSTEM_TFTPFS notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-chmod.yml b/spec/acfg/if/imfs-disable-chmod.yml index 03c518a7..30cfd6b6 100644 --- a/spec/acfg/if/imfs-disable-chmod.yml +++ b/spec/acfg/if/imfs-disable-chmod.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-chmod - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_CHMOD notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-chown.yml b/spec/acfg/if/imfs-disable-chown.yml index b2e5ee88..50b7d8e3 100644 --- a/spec/acfg/if/imfs-disable-chown.yml +++ b/spec/acfg/if/imfs-disable-chown.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-chown - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_CHOWN notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-link.yml b/spec/acfg/if/imfs-disable-link.yml index 3185ce94..4622f024 100644 --- a/spec/acfg/if/imfs-disable-link.yml +++ b/spec/acfg/if/imfs-disable-link.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-link - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_LINK notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-mknod-device.yml b/spec/acfg/if/imfs-disable-mknod-device.yml index 0062900f..9007e37e 100644 --- a/spec/acfg/if/imfs-disable-mknod-device.yml +++ b/spec/acfg/if/imfs-disable-mknod-device.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-mknod-device - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_MKNOD_DEVICE notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-mknod-file.yml b/spec/acfg/if/imfs-disable-mknod-file.yml index 52369e28..41d95688 100644 --- a/spec/acfg/if/imfs-disable-mknod-file.yml +++ b/spec/acfg/if/imfs-disable-mknod-file.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-mknod-file - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_MKNOD_FILE notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-mknod.yml b/spec/acfg/if/imfs-disable-mknod.yml index 20da284d..516bb9ca 100644 --- a/spec/acfg/if/imfs-disable-mknod.yml +++ b/spec/acfg/if/imfs-disable-mknod.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-mknod - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_MKNOD notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-mount.yml b/spec/acfg/if/imfs-disable-mount.yml index a21ea1c6..2b3a7cd9 100644 --- a/spec/acfg/if/imfs-disable-mount.yml +++ b/spec/acfg/if/imfs-disable-mount.yml @@ -17,6 +17,8 @@ links: uid: ../req/imfs-disable-mount - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_MOUNT notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-readdir.yml b/spec/acfg/if/imfs-disable-readdir.yml index 115fc7c9..71e8bc78 100644 --- a/spec/acfg/if/imfs-disable-readdir.yml +++ b/spec/acfg/if/imfs-disable-readdir.yml @@ -17,6 +17,8 @@ links: uid: ../req/imfs-disable-readdir - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_READDIR notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-readlink.yml b/spec/acfg/if/imfs-disable-readlink.yml index 90dd3324..abd171c1 100644 --- a/spec/acfg/if/imfs-disable-readlink.yml +++ b/spec/acfg/if/imfs-disable-readlink.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-readlink - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_READLINK notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-rename.yml b/spec/acfg/if/imfs-disable-rename.yml index 874bfb12..1a41820d 100644 --- a/spec/acfg/if/imfs-disable-rename.yml +++ b/spec/acfg/if/imfs-disable-rename.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-rename - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_RENAME notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-rmnod.yml b/spec/acfg/if/imfs-disable-rmnod.yml index f10c3e79..fd27f83d 100644 --- a/spec/acfg/if/imfs-disable-rmnod.yml +++ b/spec/acfg/if/imfs-disable-rmnod.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-rmnod - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_RMNOD notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-symlink.yml b/spec/acfg/if/imfs-disable-symlink.yml index f1fa4e92..f15816f7 100644 --- a/spec/acfg/if/imfs-disable-symlink.yml +++ b/spec/acfg/if/imfs-disable-symlink.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-symlink - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_SYMLINK notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-unmount.yml b/spec/acfg/if/imfs-disable-unmount.yml index 976fa0ef..3dff61b2 100644 --- a/spec/acfg/if/imfs-disable-unmount.yml +++ b/spec/acfg/if/imfs-disable-unmount.yml @@ -17,6 +17,8 @@ links: uid: ../req/imfs-disable-unmount - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_UNMOUNT notes: null type: interface diff --git a/spec/acfg/if/imfs-disable-utime.yml b/spec/acfg/if/imfs-disable-utime.yml index 794a4d22..0b4e726b 100644 --- a/spec/acfg/if/imfs-disable-utime.yml +++ b/spec/acfg/if/imfs-disable-utime.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-disable-utime - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_DISABLE_UTIME notes: null type: interface diff --git a/spec/acfg/if/imfs-enable-mkfifo.yml b/spec/acfg/if/imfs-enable-mkfifo.yml index 7c61b942..7ed90484 100644 --- a/spec/acfg/if/imfs-enable-mkfifo.yml +++ b/spec/acfg/if/imfs-enable-mkfifo.yml @@ -16,6 +16,8 @@ links: uid: ../req/imfs-enable-mkfifo - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_ENABLE_MKFIFO notes: null type: interface diff --git a/spec/acfg/if/imfs-memfile-bytes-per-block.yml b/spec/acfg/if/imfs-memfile-bytes-per-block.yml index 58cb5ed6..cf209a52 100644 --- a/spec/acfg/if/imfs-memfile-bytes-per-block.yml +++ b/spec/acfg/if/imfs-memfile-bytes-per-block.yml @@ -16,6 +16,8 @@ links: uid: group-filesystem - role: constraint uid: ../constraint/imfs-memfile-bytes-per-block +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_IMFS_MEMFILE_BYTES_PER_BLOCK notes: | The configured block size has two impacts. The first is the average amount of diff --git a/spec/acfg/if/init-task-stack-size.yml b/spec/acfg/if/init-task-stack-size.yml index 49de311f..e947d8c4 100644 --- a/spec/acfg/if/init-task-stack-size.yml +++ b/spec/acfg/if/init-task-stack-size.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-task-stack-size - role: constraint uid: ../constraint/stack-space +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_INIT_TASK_STACK_SIZE notes: | The diff --git a/spec/acfg/if/malloc-bsp-supports-sbrk.yml b/spec/acfg/if/malloc-bsp-supports-sbrk.yml index d3871657..8fe884b1 100644 --- a/spec/acfg/if/malloc-bsp-supports-sbrk.yml +++ b/spec/acfg/if/malloc-bsp-supports-sbrk.yml @@ -21,6 +21,8 @@ links: uid: ../req/malloc-bsp-supports-sbrk - role: appl-config-group-member uid: group-bsp +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MALLOC_BSP_SUPPORTS_SBRK notes: | This option should not be defined by the application. Only the BSP knows how diff --git a/spec/acfg/if/malloc-dirty.yml b/spec/acfg/if/malloc-dirty.yml index 1ee81db3..9110de5c 100644 --- a/spec/acfg/if/malloc-dirty.yml +++ b/spec/acfg/if/malloc-dirty.yml @@ -14,6 +14,8 @@ links: uid: ../req/malloc-dirty - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MALLOC_DIRTY notes: | The dirtying performed by this option is carried out for each successful diff --git a/spec/acfg/if/max-drivers.yml b/spec/acfg/if/max-drivers.yml index 34fbcc79..6411b3d2 100644 --- a/spec/acfg/if/max-drivers.yml +++ b/spec/acfg/if/max-drivers.yml @@ -56,6 +56,8 @@ links: uid: ../constraint/max-drivers - role: constraint uid: ../constraint/memory-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_DRIVERS notes: | If the application will dynamically install device drivers, then the diff --git a/spec/acfg/if/max-ports.yml b/spec/acfg/if/max-ports.yml index 142d53dc..9a824636 100644 --- a/spec/acfg/if/max-ports.yml +++ b/spec/acfg/if/max-ports.yml @@ -22,6 +22,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_PORTS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-key-value-pairs.yml b/spec/acfg/if/max-posix-key-value-pairs.yml index 89ee712c..e616ed93 100644 --- a/spec/acfg/if/max-posix-key-value-pairs.yml +++ b/spec/acfg/if/max-posix-key-value-pairs.yml @@ -26,6 +26,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_KEY_VALUE_PAIRS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-keys.yml b/spec/acfg/if/max-posix-keys.yml index 6a6f9796..6a7f0464 100644 --- a/spec/acfg/if/max-posix-keys.yml +++ b/spec/acfg/if/max-posix-keys.yml @@ -22,6 +22,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_KEYS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-message-queues.yml b/spec/acfg/if/max-posix-message-queues.yml index 63fe62e4..dfd342b3 100644 --- a/spec/acfg/if/max-posix-message-queues.yml +++ b/spec/acfg/if/max-posix-message-queues.yml @@ -24,6 +24,8 @@ links: uid: ../constraint/wkspace - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_MESSAGE_QUEUES notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-queued-signals.yml b/spec/acfg/if/max-posix-queued-signals.yml index f00aff4f..de2a5d72 100644 --- a/spec/acfg/if/max-posix-queued-signals.yml +++ b/spec/acfg/if/max-posix-queued-signals.yml @@ -22,6 +22,8 @@ links: uid: ../constraint/wkspace - role: constraint uid: ../constraint/posix-api +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_QUEUED_SIGNALS notes: | Unlimited objects are not available for queued signals. diff --git a/spec/acfg/if/max-posix-semaphores.yml b/spec/acfg/if/max-posix-semaphores.yml index 2a34c5df..5f5331dd 100644 --- a/spec/acfg/if/max-posix-semaphores.yml +++ b/spec/acfg/if/max-posix-semaphores.yml @@ -24,6 +24,8 @@ links: uid: ../constraint/wkspace - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_SEMAPHORES notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-shms.yml b/spec/acfg/if/max-posix-shms.yml index 8463ecc5..652a10ff 100644 --- a/spec/acfg/if/max-posix-shms.yml +++ b/spec/acfg/if/max-posix-shms.yml @@ -24,6 +24,8 @@ links: uid: ../constraint/wkspace - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_SHMS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-threads.yml b/spec/acfg/if/max-posix-threads.yml index 1f8a9eb2..9d2360fe 100644 --- a/spec/acfg/if/max-posix-threads.yml +++ b/spec/acfg/if/max-posix-threads.yml @@ -22,6 +22,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/stack-space +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_THREADS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-posix-timers.yml b/spec/acfg/if/max-posix-timers.yml index e55a371a..90b4ffd6 100644 --- a/spec/acfg/if/max-posix-timers.yml +++ b/spec/acfg/if/max-posix-timers.yml @@ -24,6 +24,8 @@ links: uid: ../constraint/unlimited - role: constraint uid: ../constraint/posix-api +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_POSIX_TIMERS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-regions.yml b/spec/acfg/if/max-regions.yml index 4b493c4a..75a45ae1 100644 --- a/spec/acfg/if/max-regions.yml +++ b/spec/acfg/if/max-regions.yml @@ -22,6 +22,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/unlimited +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_REGIONS notes: | This object class can be configured in unlimited allocation mode, see diff --git a/spec/acfg/if/max-thread-name-size.yml b/spec/acfg/if/max-thread-name-size.yml index 08ba0074..c87d4db6 100644 --- a/spec/acfg/if/max-thread-name-size.yml +++ b/spec/acfg/if/max-thread-name-size.yml @@ -21,6 +21,8 @@ links: uid: ../constraint/max-size - role: constraint uid: ../constraint/memory-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MAXIMUM_THREAD_NAME_SIZE notes: | The default value was chosen for Linux compatibility, see diff --git a/spec/acfg/if/memory-overhead.yml b/spec/acfg/if/memory-overhead.yml index 82229006..9ac32f09 100644 --- a/spec/acfg/if/memory-overhead.yml +++ b/spec/acfg/if/memory-overhead.yml @@ -21,6 +21,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/wkspace +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MEMORY_OVERHEAD notes: | This configuration option should only be used when it is suspected that a bug diff --git a/spec/acfg/if/message-buffer-memory.yml b/spec/acfg/if/message-buffer-memory.yml index 007f470c..744a20b6 100644 --- a/spec/acfg/if/message-buffer-memory.yml +++ b/spec/acfg/if/message-buffer-memory.yml @@ -23,6 +23,8 @@ links: uid: ../constraint/memory-size - role: constraint uid: ../constraint/wkspace +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MESSAGE_BUFFER_MEMORY notes: | The configuration options ${max-message-queues:/name} and diff --git a/spec/acfg/if/min-posix-thread-stack-size.yml b/spec/acfg/if/min-posix-thread-stack-size.yml index 6e367b19..a8397c25 100644 --- a/spec/acfg/if/min-posix-thread-stack-size.yml +++ b/spec/acfg/if/min-posix-thread-stack-size.yml @@ -21,6 +21,8 @@ links: uid: ../constraint/stack-space - role: constraint uid: ../constraint/min-bsp-app +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MINIMUM_POSIX_THREAD_STACK_SIZE notes: null type: interface diff --git a/spec/acfg/if/mp-appl.yml b/spec/acfg/if/mp-appl.yml index 537d6625..8aac5676 100644 --- a/spec/acfg/if/mp-appl.yml +++ b/spec/acfg/if/mp-appl.yml @@ -17,6 +17,8 @@ links: uid: ../req/mp-appl - role: appl-config-group-member uid: group-mpci +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MP_APPLICATION notes: | This configuration option shall be undefined if the multiprocessing support diff --git a/spec/acfg/if/mp-extra-server-stack.yml b/spec/acfg/if/mp-extra-server-stack.yml index 5fe88ed3..0395b02f 100644 --- a/spec/acfg/if/mp-extra-server-stack.yml +++ b/spec/acfg/if/mp-extra-server-stack.yml @@ -21,6 +21,8 @@ links: uid: ../constraint/max-uint32 - role: constraint uid: ../constraint/mpci-receive-server-stack +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_EXTRA_MPCI_RECEIVE_SERVER_STACK notes: | This configuration option is only evaluated if diff --git a/spec/acfg/if/mp-max-global-objects.yml b/spec/acfg/if/mp-max-global-objects.yml index f3095755..0aa60ea0 100644 --- a/spec/acfg/if/mp-max-global-objects.yml +++ b/spec/acfg/if/mp-max-global-objects.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MP_MAXIMUM_GLOBAL_OBJECTS notes: | This value corresponds to the total number of objects which can be created diff --git a/spec/acfg/if/mp-max-nodes.yml b/spec/acfg/if/mp-max-nodes.yml index 4165be83..213ffb19 100644 --- a/spec/acfg/if/mp-max-nodes.yml +++ b/spec/acfg/if/mp-max-nodes.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MP_MAXIMUM_NODES notes: | This configuration option is only evaluated if diff --git a/spec/acfg/if/mp-max-proxies.yml b/spec/acfg/if/mp-max-proxies.yml index 002eb53c..36b7be0c 100644 --- a/spec/acfg/if/mp-max-proxies.yml +++ b/spec/acfg/if/mp-max-proxies.yml @@ -19,6 +19,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MP_MAXIMUM_PROXIES notes: | Since a proxy is used to represent a remote task/thread which is blocking diff --git a/spec/acfg/if/mp-mpci-table-pointer.yml b/spec/acfg/if/mp-mpci-table-pointer.yml index b7ff4cf6..516602ab 100644 --- a/spec/acfg/if/mp-mpci-table-pointer.yml +++ b/spec/acfg/if/mp-mpci-table-pointer.yml @@ -16,6 +16,8 @@ links: uid: group-mpci - role: constraint uid: ../constraint/init-mpci-table +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MP_MPCI_TABLE_POINTER notes: | RTEMS provides a Shared Memory MPCI Device Driver which can be used on any diff --git a/spec/acfg/if/mp-node-number.yml b/spec/acfg/if/mp-node-number.yml index ba7de6bc..bc6ff515 100644 --- a/spec/acfg/if/mp-node-number.yml +++ b/spec/acfg/if/mp-node-number.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-zero - role: constraint uid: ../constraint/max-uint32 +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_MP_NODE_NUMBER notes: | In the RTEMS Multiprocessing Test Suite, the node number is derived from diff --git a/spec/acfg/if/posix-init-thread-entry-point.yml b/spec/acfg/if/posix-init-thread-entry-point.yml index 6826a9f5..6a22c908 100644 --- a/spec/acfg/if/posix-init-thread-entry-point.yml +++ b/spec/acfg/if/posix-init-thread-entry-point.yml @@ -16,6 +16,8 @@ links: uid: group-posixinit - role: constraint uid: ../constraint/init-posix-thread-entry-point +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_POSIX_INIT_THREAD_ENTRY_POINT notes: | The application shall provide the function referenced by this configuration diff --git a/spec/acfg/if/posix-init-thread-stack-size.yml b/spec/acfg/if/posix-init-thread-stack-size.yml index 2c8d2292..2869170a 100644 --- a/spec/acfg/if/posix-init-thread-stack-size.yml +++ b/spec/acfg/if/posix-init-thread-stack-size.yml @@ -18,6 +18,8 @@ links: uid: ../constraint/min-task-stack-size - role: constraint uid: ../constraint/stack-space +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_POSIX_INIT_THREAD_STACK_SIZE notes: null type: interface diff --git a/spec/acfg/if/posix-init-thread-table.yml b/spec/acfg/if/posix-init-thread-table.yml index aafd6d15..11dc604a 100644 --- a/spec/acfg/if/posix-init-thread-table.yml +++ b/spec/acfg/if/posix-init-thread-table.yml @@ -13,6 +13,8 @@ links: uid: ../req/posix-init-thread-table - role: appl-config-group-member uid: group-posixinit +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_POSIX_INIT_THREAD_TABLE notes: | The application shall define exactly one of the following configuration diff --git a/spec/acfg/if/record-extensions-enabled.yml b/spec/acfg/if/record-extensions-enabled.yml index 5287d3b1..4fb31f58 100644 --- a/spec/acfg/if/record-extensions-enabled.yml +++ b/spec/acfg/if/record-extensions-enabled.yml @@ -18,6 +18,8 @@ links: uid: ../req/record-extensions-enabled - role: appl-config-group-member uid: group-eventrecord +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_RECORD_EXTENSIONS_ENABLED notes: | The record extensions capture thread create, start, restart, delete, switch, diff --git a/spec/acfg/if/record-fatal-dump-base64-zlib.yml b/spec/acfg/if/record-fatal-dump-base64-zlib.yml index fb5eeeab..cb488e83 100644 --- a/spec/acfg/if/record-fatal-dump-base64-zlib.yml +++ b/spec/acfg/if/record-fatal-dump-base64-zlib.yml @@ -19,6 +19,8 @@ links: uid: ../req/record-fatal-dump-base64-zlib - role: appl-config-group-member uid: group-eventrecord +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_RECORD_FATAL_DUMP_BASE64_ZLIB notes: | The zlib compression needs about 512KiB of RAM. This extension can be used diff --git a/spec/acfg/if/record-fatal-dump-base64.yml b/spec/acfg/if/record-fatal-dump-base64.yml index a8744bc7..83e6fc5b 100644 --- a/spec/acfg/if/record-fatal-dump-base64.yml +++ b/spec/acfg/if/record-fatal-dump-base64.yml @@ -21,6 +21,8 @@ links: uid: ../req/record-fatal-dump-base64 - role: appl-config-group-member uid: group-eventrecord +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_RECORD_FATAL_DUMP_BASE64 notes: | This extension can be used to produce crash dumps. diff --git a/spec/acfg/if/record-per-processor-items.yml b/spec/acfg/if/record-per-processor-items.yml index 561c334a..f735f448 100644 --- a/spec/acfg/if/record-per-processor-items.yml +++ b/spec/acfg/if/record-per-processor-items.yml @@ -22,6 +22,8 @@ links: uid: ../constraint/power-of-two - role: constraint uid: ../constraint/memory-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_RECORD_PER_PROCESSOR_ITEMS notes: | The event record buffers are statically allocated for each configured diff --git a/spec/acfg/if/scheduler-cbs.yml b/spec/acfg/if/scheduler-cbs.yml index 854884cb..d4f87d36 100644 --- a/spec/acfg/if/scheduler-cbs.yml +++ b/spec/acfg/if/scheduler-cbs.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-cbs - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_CBS notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-edf.yml b/spec/acfg/if/scheduler-edf.yml index 03215b07..aff02f66 100644 --- a/spec/acfg/if/scheduler-edf.yml +++ b/spec/acfg/if/scheduler-edf.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-edf - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_EDF notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-priority-affinity-smp.yml b/spec/acfg/if/scheduler-priority-affinity-smp.yml index cfdba1bf..03df59b0 100644 --- a/spec/acfg/if/scheduler-priority-affinity-smp.yml +++ b/spec/acfg/if/scheduler-priority-affinity-smp.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-priority-affinity-smp - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_PRIORITY_AFFINITY_SMP notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-priority-smp.yml b/spec/acfg/if/scheduler-priority-smp.yml index 266f5f40..90bd4c0a 100644 --- a/spec/acfg/if/scheduler-priority-smp.yml +++ b/spec/acfg/if/scheduler-priority-smp.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-priority-smp - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_PRIORITY_SMP notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-simple-smp.yml b/spec/acfg/if/scheduler-simple-smp.yml index b9e3b673..0c795abc 100644 --- a/spec/acfg/if/scheduler-simple-smp.yml +++ b/spec/acfg/if/scheduler-simple-smp.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-simple-smp - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_SIMPLE_SMP notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-simple.yml b/spec/acfg/if/scheduler-simple.yml index f1fe555b..f4264e38 100644 --- a/spec/acfg/if/scheduler-simple.yml +++ b/spec/acfg/if/scheduler-simple.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-simple - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_SIMPLE notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-strong-apa.yml b/spec/acfg/if/scheduler-strong-apa.yml index 76fd21fa..4a91c8c1 100644 --- a/spec/acfg/if/scheduler-strong-apa.yml +++ b/spec/acfg/if/scheduler-strong-apa.yml @@ -13,6 +13,8 @@ links: uid: ../req/scheduler-strong-apa - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_STRONG_APA notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/scheduler-user.yml b/spec/acfg/if/scheduler-user.yml index 424bca81..1582cdad 100644 --- a/spec/acfg/if/scheduler-user.yml +++ b/spec/acfg/if/scheduler-user.yml @@ -14,6 +14,8 @@ links: uid: ../req/scheduler-user - role: appl-config-group-member uid: group-schedgeneral +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_SCHEDULER_USER notes: | This scheduler configuration option is an advanced configuration option. diff --git a/spec/acfg/if/stack-checker-enabled.yml b/spec/acfg/if/stack-checker-enabled.yml index ebbca433..2c280afa 100644 --- a/spec/acfg/if/stack-checker-enabled.yml +++ b/spec/acfg/if/stack-checker-enabled.yml @@ -13,6 +13,8 @@ links: uid: ../req/stack-checker-enabled - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_STACK_CHECKER_ENABLED notes: | The stack checker performs run-time stack bounds checking. This increases 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: diff --git a/spec/acfg/if/task-stack-from-alloc.yml b/spec/acfg/if/task-stack-from-alloc.yml index 54ce3021..58fa7667 100644 --- a/spec/acfg/if/task-stack-from-alloc.yml +++ b/spec/acfg/if/task-stack-from-alloc.yml @@ -18,6 +18,8 @@ links: uid: group-stackalloc - role: constraint uid: ../constraint/task-stack-from-alloc +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_TASK_STACK_FROM_ALLOCATOR notes: | This configuration option may be used if a custom task stack allocator is diff --git a/spec/acfg/if/unified-work-areas.yml b/spec/acfg/if/unified-work-areas.yml index 024d189c..7e072b4d 100644 --- a/spec/acfg/if/unified-work-areas.yml +++ b/spec/acfg/if/unified-work-areas.yml @@ -20,6 +20,8 @@ links: uid: ../req/unified-work-areas - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_UNIFIED_WORK_AREAS notes: | Having separate pools does have some advantages in the event a task blows a diff --git a/spec/acfg/if/unlimited-allocation-size.yml b/spec/acfg/if/unlimited-allocation-size.yml index 25909a03..26939e8e 100644 --- a/spec/acfg/if/unlimited-allocation-size.yml +++ b/spec/acfg/if/unlimited-allocation-size.yml @@ -18,6 +18,8 @@ links: uid: group-general - role: constraint uid: ../constraint/unlimited-allocation-size +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_UNLIMITED_ALLOCATION_SIZE notes: | By allowing users to declare all resources as being unlimited the user can diff --git a/spec/acfg/if/unlimited-objects.yml b/spec/acfg/if/unlimited-objects.yml index bf39898b..0174cd18 100644 --- a/spec/acfg/if/unlimited-objects.yml +++ b/spec/acfg/if/unlimited-objects.yml @@ -13,6 +13,8 @@ links: uid: ../req/unlimited-objects - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_UNLIMITED_OBJECTS notes: | When using unlimited objects, it is common practice to also specify diff --git a/spec/acfg/if/use-devfs-as-base-filesystem.yml b/spec/acfg/if/use-devfs-as-base-filesystem.yml index d414b87a..cbcab6c3 100644 --- a/spec/acfg/if/use-devfs-as-base-filesystem.yml +++ b/spec/acfg/if/use-devfs-as-base-filesystem.yml @@ -13,6 +13,8 @@ links: uid: ../req/use-devfs-as-base-filesystem - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_USE_DEVFS_AS_BASE_FILESYSTEM notes: | In case this configuration option is defined, then the following diff --git a/spec/acfg/if/use-miniimfs-as-base-filesystem.yml b/spec/acfg/if/use-miniimfs-as-base-filesystem.yml index f0f2c851..9a99d955 100644 --- a/spec/acfg/if/use-miniimfs-as-base-filesystem.yml +++ b/spec/acfg/if/use-miniimfs-as-base-filesystem.yml @@ -13,6 +13,8 @@ links: uid: ../req/use-miniimfs-as-base-filesystem - role: appl-config-group-member uid: group-filesystem +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_USE_MINIIMFS_AS_BASE_FILESYSTEM notes: | In case this configuration option is defined, then the following diff --git a/spec/acfg/if/verbose-system-init.yml b/spec/acfg/if/verbose-system-init.yml index c522e3f4..9635a8c2 100644 --- a/spec/acfg/if/verbose-system-init.yml +++ b/spec/acfg/if/verbose-system-init.yml @@ -13,6 +13,8 @@ links: uid: ../req/verbose-system-init - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_VERBOSE_SYSTEM_INITIALIZATION notes: | You may use this feature to debug system initialization issues. The diff --git a/spec/acfg/if/zero-workspace-automatically.yml b/spec/acfg/if/zero-workspace-automatically.yml index 6370874b..6f1ca7e4 100644 --- a/spec/acfg/if/zero-workspace-automatically.yml +++ b/spec/acfg/if/zero-workspace-automatically.yml @@ -18,6 +18,8 @@ links: uid: ../req/zero-workspace-automatically - role: appl-config-group-member uid: group-general +- role: constraint + uid: ../constraint/option-not-pre-qualified name: CONFIGURE_ZERO_WORKSPACE_AUTOMATICALLY notes: | Zeroing memory can add significantly to the system initialization time. It is -- cgit v1.2.3