diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-16 11:34:14 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 08:22:09 +0100 |
| commit | 5c4bfd277b4b83e9313d4b82f3acd733a130290f (patch) | |
| tree | 100200c222feb2dc1e7bbfe2b985b06edd50d539 /spec/rtems | |
| parent | spec: Specify status constants (diff) | |
| download | rtems-central-5c4bfd277b4b83e9313d4b82f3acd733a130290f.tar.bz2 | |
spec: Improve acfg specification
Rework BSP provided configuration settings.
Diffstat (limited to 'spec/rtems')
| -rw-r--r-- | spec/rtems/fatal/req/fatal.yml | 18 | ||||
| -rw-r--r-- | spec/rtems/scheduler/req/get-maximum-priority.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/task/req/ident.yml | 3 |
3 files changed, 21 insertions, 2 deletions
diff --git a/spec/rtems/fatal/req/fatal.yml b/spec/rtems/fatal/req/fatal.yml new file mode 100644 index 00000000..0c771f97 --- /dev/null +++ b/spec/rtems/fatal/req/fatal.yml @@ -0,0 +1,18 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: interface-function + uid: ../if/fatal +- role: function-implementation + uid: /score/interr/req/terminate +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + When ${../if/fatal:/name} is called, the system shall terminate with a fatal + source specified by the ${../if/fatal:/params[0]/name} parameter and a fatal + code specified by the ${../if/fatal:/params[1]/name} parameter. +type: requirement diff --git a/spec/rtems/scheduler/req/get-maximum-priority.yml b/spec/rtems/scheduler/req/get-maximum-priority.yml index f475060b..51b6f151 100644 --- a/spec/rtems/scheduler/req/get-maximum-priority.yml +++ b/spec/rtems/scheduler/req/get-maximum-priority.yml @@ -36,7 +36,7 @@ post-conditions: #if defined(RTEMS_SMP) T_eq_u32( ctx->priority_obj, INT_MAX ); #else - T_eq_u32( ctx->priority_obj, 255 ); + T_eq_u32( ctx->priority_obj, 127 ); #endif text: | The value of the object referenced by the diff --git a/spec/rtems/task/req/ident.yml b/spec/rtems/task/req/ident.yml index b505199b..964c6532 100644 --- a/spec/rtems/task/req/ident.yml +++ b/spec/rtems/task/req/ident.yml @@ -81,6 +81,7 @@ test-header: null test-includes: [] test-local-includes: - tr-object-ident.h +- ts-config.h test-prepare: null test-setup: brief: null @@ -111,7 +112,7 @@ test-support: | RTEMS_ALIGNED( RTEMS_TASK_STORAGE_ALIGNMENT ) static char ClassicTaskIdentStorage[ RTEMS_TASK_STORAGE_SIZE( - MAX_TLS_SIZE + RTEMS_MINIMUM_STACK_SIZE, + MAX_TLS_SIZE + TEST_MINIMUM_STACK_SIZE, TASK_ATTRIBUTES ) ]; |