formal: Fixes Licenses

[Gedare Bloom]

On Tue, Jan 24, 2023 at 11:59 PM Sebastian Huber
<sebastian.huber at embedded-brains.de> wrote:
>
> On 23.01.23 13:01, Andrew.Butterfield at scss.tcd.ie wrote:
> > Patches to fix licenses for formal material are attached.
> >
> > The main issue was missing/wrong SPDX identifiers
>
> Thanks, I checked it in.
>
> With respect to the licensing, there is currently a mix of BSD-2-Clause
> and BSD-3-Clause with copyright Trinity College Dublin (www.tcd.ie).
> Since BSD-3-Clause is more restrictive, maybe this should be changed so
> that all files use BSD-3-Clause.
>
2BSD is preferred, unless there is a good reason.

> --
> embedded brains GmbH
> Herr Sebastian HUBER
> Dornierstr. 4
> 82178 Puchheim
> Germany
> email: sebastian.huber at embedded-brains.de
> phone: +49-89-18 94 741 - 16
> fax:   +49-89-18 94 741 - 08
>
> Registergericht: Amtsgericht München
> Registernummer: HRB 157899
> Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
> Unsere Datenschutzerklärung finden Sie hier:
> https://embedded-brains.de/datenschutzerklaerung/
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel