formal: Fixes Licenses

[Andrew.Butterfield at scss.tcd.ie]

Patches to fix licenses for formal material are attached.
The main issue was missing/wrong SPDX identifiers

Best regards,
  Andrew Butterfield




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230123/1a04b97b/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0000-cover-letter.patch
Type: application/octet-stream
Size: 1632 bytes
Desc: 0000-cover-letter.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230123/1a04b97b/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-formal-fix-licenses.patch
Type: application/octet-stream
Size: 10759 bytes
Desc: 0001-formal-fix-licenses.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230123/1a04b97b/attachment-0003.obj>