-
At this chance, fix stale and missing copyright notices. Specifically, Dmitriy Cherkasov <dmitriy@mperpetuo.com> is the original author of the Xenomai/arm64 port, based on the ARM implementation; add credit where it is due. In the same move, introduce SPDX tags as replacement for GPL boilerplate for the altered files. Signed-off-by: Philippe Gerum <rpm@xenomai.org> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
e6a26e85