diff options
Diffstat (limited to 'spec/rtems/intr/if/server-config.yml')
| -rw-r--r-- | spec/rtems/intr/if/server-config.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/rtems/intr/if/server-config.yml b/spec/rtems/intr/if/server-config.yml index 110b3929..fb4240e1 100644 --- a/spec/rtems/intr/if/server-config.yml +++ b/spec/rtems/intr/if/server-config.yml @@ -79,6 +79,8 @@ links: uid: header - role: interface-ingroup uid: group +- role: constraint + uid: /constraint/type-opaque name: rtems_interrupt_server_config notes: | See also ${server-create:/name}. |