spec: Validate implementation interfaces

1 files changed, 347 insertions, 0 deletions

diff --git a/spec/val/implementation-interface.yml b/spec/val/implementation-interface.yml
new file mode 100644
index 00000000..1dffc946
--- /dev/null
+++ b/spec/val/implementation-interface.yml
@@ -0,0 +1,347 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2023 embedded brains GmbH & Co. KG
+enabled-by: true
+links:
+- role: validation
+  uid: /bsp/if/acfg-idle-task-stack-size
+- role: validation
+  uid: /bsp/if/acfg-interrupt-stack-size
+- role: validation
+  uid: /bsp/if/acfg-malloc-supports-sbrk
+- role: validation
+  uid: /bsp/if/acfg-prerequisite-drivers
+- role: validation
+  uid: /bsp/if/boot-card
+- role: validation
+  uid: /bsp/if/fatal-leon3-clock-initialization
+- role: validation
+  uid: /bsp/if/fatal-leon3-invalid-cache-config-boot-processor
+- role: validation
+  uid: /bsp/if/fatal-leon3-invalid-cache-config-secondary-processor
+- role: validation
+  uid: /bsp/sparc/leon3/if/idle-thread
+- role: validation
+  uid: /rtems/io/if/mount
+- role: validation
+  uid: /rtems/io/if/print-printer
+- role: validation
+  uid: /rtems/io/if/printer
+- role: validation
+  uid: /rtems/io/if/unmount
+- role: validation
+  uid: /score/atomic/if/uint
+- role: validation
+  uid: /score/chain/if/control
+- role: validation
+  uid: /score/chain/if/node
+- role: validation
+  uid: /score/context/if/fp-size
+- role: validation
+  uid: /score/cpu/if/all-tasks-are-fp
+- role: validation
+  uid: /score/cpu/if/exception-frame
+- role: validation
+  uid: /score/cpu/if/exception-frame-print
+- role: validation
+  uid: /score/cpu/if/hardware-fp
+- role: validation
+  uid: /score/cpu/if/heap-alignment
+- role: validation
+  uid: /score/cpu/if/interrupt-frame
+- role: validation
+  uid: /score/cpu/if/interrupt-stack-alignment
+- role: validation
+  uid: /score/cpu/if/isr-passes-frame-pointer
+- role: validation
+  uid: /score/cpu/if/maximum-processors
+- role: validation
+  uid: /score/cpu/if/modes-interrupt-mask
+- role: validation
+  uid: /score/cpu/if/simple-vectored-interrupts
+- role: validation
+  uid: /score/cpu/if/sizeof-pointer
+- role: validation
+  uid: /score/cpu/if/stack-alignment
+- role: validation
+  uid: /score/cpu/if/stack-minimum-size
+- role: validation
+  uid: /score/cpu/if/uint32ptr
+- role: validation
+  uid: /score/heap/if/information-block
+- role: validation
+  uid: /score/interr/if/bad-thread-dispatch-disable-level
+- role: validation
+  uid: /score/interr/if/bad-thread-dispatch-environment
+- role: validation
+  uid: /score/interr/if/code
+- role: validation
+  uid: /score/interr/if/idle-thread-create-failed
+- role: validation
+  uid: /score/interr/if/idle-thread-stack-too-small
+- role: validation
+  uid: /score/interr/if/init-task-construct-failed
+- role: validation
+  uid: /score/interr/if/internal-error-core
+- role: validation
+  uid: /score/interr/if/internal-error-rtems-api
+- role: validation
+  uid: /score/interr/if/no-memory-for-idle-task-stack
+- role: validation
+  uid: /score/interr/if/source
+- role: validation
+  uid: /score/interr/if/source-bsp
+- role: validation
+  uid: /score/interr/if/source-exit
+- role: validation
+  uid: /score/interr/if/source-panic
+- role: validation
+  uid: /score/interr/if/source-smp
+- role: validation
+  uid: /score/interr/if/source-spurious-interrupt
+- role: validation
+  uid: /score/interr/if/thread-exitted
+- role: validation
+  uid: /score/interr/if/thread-queue-deadlock
+- role: validation
+  uid: /score/interr/if/thread-queue-enqueue-sticky-from-bad-state
+- role: validation
+  uid: /score/interr/if/too-large-tls-size
+- role: validation
+  uid: /score/isr/if/handler
+- role: validation
+  uid: /score/isr/if/handler-entry
+- role: validation
+  uid: /score/isr/if/is-in-progress
+- role: validation
+  uid: /score/isr/if/level
+- role: validation
+  uid: /score/isr/if/local-disable
+- role: validation
+  uid: /score/isr/if/local-enable
+- role: validation
+  uid: /score/isr/if/local-flash
+- role: validation
+  uid: /score/isr/if/lock-context
+- role: validation
+  uid: /score/isr/if/lock-control
+- role: validation
+  uid: /score/isr/if/lock-declare
+- role: validation
+  uid: /score/isr/if/lock-define
+- role: validation
+  uid: /score/isr/if/lock-destroy
+- role: validation
+  uid: /score/isr/if/lock-initialize
+- role: validation
+  uid: /score/isr/if/lock-initializer
+- role: validation
+  uid: /score/isr/if/lock-isr-disable
+- role: validation
+  uid: /score/isr/if/lock-isr-disable-acquire
+- role: validation
+  uid: /score/isr/if/lock-member
+- role: validation
+  uid: /score/isr/if/lock-reference
+- role: validation
+  uid: /score/isr/if/lock-release-isr-enable
+- role: validation
+  uid: /score/isr/if/stack-size-object
+- role: validation
+  uid: /score/isr/if/vector-number
+- role: validation
+  uid: /score/memory/if/zero-before-use
+- role: validation
+  uid: /score/mpci/if/configuration
+- role: validation
+  uid: /score/mpci/if/configuration-type
+- role: validation
+  uid: /score/mpci/if/control
+- role: validation
+  uid: /score/mpci/if/entry
+- role: validation
+  uid: /score/mpci/if/get-packet-entry
+- role: validation
+  uid: /score/mpci/if/initialization-entry
+- role: validation
+  uid: /score/mpci/if/packet-classes
+- role: validation
+  uid: /score/mpci/if/packet-minimum-hetero-conversion
+- role: validation
+  uid: /score/mpci/if/packet-minimum-size
+- role: validation
+  uid: /score/mpci/if/packet-prefix
+- role: validation
+  uid: /score/mpci/if/receive-entry
+- role: validation
+  uid: /score/mpci/if/return-packet-entry
+- role: validation
+  uid: /score/mpci/if/send-entry
+- role: validation
+  uid: /score/msgq/if/buffer
+- role: validation
+  uid: /score/object/if/apis-last
+- role: validation
+  uid: /score/object/if/build-id
+- role: validation
+  uid: /score/object/if/build-name
+- role: validation
+  uid: /score/object/if/get-api
+- role: validation
+  uid: /score/object/if/get-class
+- role: validation
+  uid: /score/object/if/get-index
+- role: validation
+  uid: /score/object/if/get-node
+- role: validation
+  uid: /score/object/if/id
+- role: validation
+  uid: /score/object/if/id-final
+- role: validation
+  uid: /score/object/if/id-final-index
+- role: validation
+  uid: /score/object/if/id-initial
+- role: validation
+  uid: /score/object/if/id-initial-index
+- role: validation
+  uid: /score/object/if/id-none
+- role: validation
+  uid: /score/object/if/id-of-self
+- role: validation
+  uid: /score/object/if/internal-api
+- role: validation
+  uid: /score/object/if/is-unlimited
+- role: validation
+  uid: /score/object/if/local-node-default
+- role: validation
+  uid: /score/object/if/local-node-multiprocessing
+- role: validation
+  uid: /score/object/if/maximum-per-allocation
+- role: validation
+  uid: /score/object/if/search-all-nodes
+- role: validation
+  uid: /score/object/if/search-local-nodes
+- role: validation
+  uid: /score/object/if/search-other-nodes
+- role: validation
+  uid: /score/object/if/unlimited-objects
+- role: validation
+  uid: /score/object/if/who-am-i
+- role: validation
+  uid: /score/smp/if/fatal-boot-processor-not-assigned-to-scheduler
+- role: validation
+  uid: /score/smp/if/fatal-mandatory-processor-not-present
+- role: validation
+  uid: /score/smp/if/fatal-multitasking-start-on-invalid-processor
+- role: validation
+  uid: /score/smp/if/fatal-multitasking-start-on-unassigned-processor
+- role: validation
+  uid: /score/smp/if/fatal-scheduler-requires-exactly-one-processor
+- role: validation
+  uid: /score/smp/if/fatal-shutdown-response
+- role: validation
+  uid: /score/smp/if/fatal-start-of-mandatory-processor-failed
+- role: validation
+  uid: /score/smp/if/fatal-start-on-not-online-processor
+- role: validation
+  uid: /score/smp/if/fatal-wrong-cpu-state-to-perform-jobs
+- role: validation
+  uid: /score/smp/if/get-current-processor
+- role: validation
+  uid: /score/smp/if/get-processor-maximum
+- role: validation
+  uid: /score/smp/if/lock-acquire
+- role: validation
+  uid: /score/smp/if/lock-release-default
+- role: validation
+  uid: /score/smp/if/lock-release-no-inline
+- role: validation
+  uid: /score/smp/if/processor-configured-maximum
+- role: validation
+  uid: /score/stack/if/allocator-allocate
+- role: validation
+  uid: /score/stack/if/allocator-allocate-for-idle
+- role: validation
+  uid: /score/stack/if/allocator-allocate-type
+- role: validation
+  uid: /score/stack/if/allocator-avoids-workspace
+- role: validation
+  uid: /score/stack/if/allocator-free
+- role: validation
+  uid: /score/stack/if/allocator-free-type
+- role: validation
+  uid: /score/stack/if/allocator-initialize
+- role: validation
+  uid: /score/stack/if/allocator-initialize-type
+- role: validation
+  uid: /score/stack/if/minimum-size
+- role: validation
+  uid: /score/status/if/deadlock
+- role: validation
+  uid: /score/status/if/invalid-number
+- role: validation
+  uid: /score/status/if/maximum-count-exceeded
+- role: validation
+  uid: /score/status/if/mutex-ceiling-violated
+- role: validation
+  uid: /score/status/if/not-owner
+- role: validation
+  uid: /score/status/if/successful
+- role: validation
+  uid: /score/status/if/timeout
+- role: validation
+  uid: /score/status/if/unavailable
+- role: validation
+  uid: /score/status/if/unsatisfied
+- role: validation
+  uid: /score/thread/if/idle-body
+- role: validation
+  uid: /score/thread/if/idle-stack-size
+- role: validation
+  uid: /score/userext/if/fatal
+- role: validation
+  uid: /score/userext/if/initial-count
+- role: validation
+  uid: /score/userext/if/initial-extensions
+- role: validation
+  uid: /score/userext/if/table
+- role: validation
+  uid: /score/userext/if/thread-begin
+- role: validation
+  uid: /score/userext/if/thread-create
+- role: validation
+  uid: /score/userext/if/thread-delete
+- role: validation
+  uid: /score/userext/if/thread-exitted
+- role: validation
+  uid: /score/userext/if/thread-restart
+- role: validation
+  uid: /score/userext/if/thread-start
+- role: validation
+  uid: /score/userext/if/thread-switch
+- role: validation
+  uid: /score/userext/if/thread-terminate
+- role: validation
+  uid: /score/watchdog/if/interval
+- role: validation
+  uid: /score/watchdog/if/microseconds-per-tick
+- role: validation
+  uid: /score/watchdog/if/nanoseconds-per-tick
+- role: validation
+  uid: /score/watchdog/if/no-timeout
+- role: validation
+  uid: /score/watchdog/if/ticks-per-second
+- role: validation
+  uid: /score/watchdog/if/ticks-per-timeslice
+- role: validation
+  uid: /score/watchdog/if/ticks-since-boot
+- role: validation
+  uid: /score/wkspace/if/is-unified
+- role: validation
+  uid: /score/wkspace/if/size
+method: by-review-of-design
+references: []
+text: |
+  This interface is an implementation interface.  It is implicitly validated by
+  the ${/glossary/api:/term} elements which use this interface.
+type: validation