diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-13 22:15:37 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 20:49:01 +0100 |
commit | 5fccdf5ec4404f86ea575670285c381b4e5d2cd2 (patch) | |
tree | b37dc30ffa8a41a1f05ad0beb28dc736743d0b37 /spec/rtems/timer | |
parent | spec: Add not pre-qualified constraints (diff) | |
download | rtems-central-5fccdf5ec4404f86ea575670285c381b4e5d2cd2.tar.bz2 |
spec: Add interface function links
Diffstat (limited to 'spec/rtems/timer')
-rw-r--r-- | spec/rtems/timer/req/initiate-server.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/rtems/timer/req/initiate-server.yml b/spec/rtems/timer/req/initiate-server.yml index 9fe48edd..b95411fb 100644 --- a/spec/rtems/timer/req/initiate-server.yml +++ b/spec/rtems/timer/req/initiate-server.yml @@ -6,6 +6,8 @@ functional-type: action links: - role: interface-function uid: ../if/initiate-server +- role: interface-function + uid: ../if/server-default-priority post-conditions: - name: Status states: |