From 72dc6e6fad47da21032d8b85f32f590fd1255b44 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 5 Oct 2023 15:23:11 +0200
Subject: [PATCH] Add a brief description of each file and copyright+license
 notices

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 psasim/include/psa/client.h    | 7 +++++++
 psasim/include/psa/error.h     | 7 +++++++
 psasim/include/psa/lifecycle.h | 7 +++++++
 psasim/include/psa/service.h   | 6 ++++++
 psasim/include/psasim/init.h   | 7 +++++++
 psasim/src/client.c            | 7 +++++++
 psasim/src/common.c            | 7 +++++++
 psasim/src/common.h            | 7 +++++++
 psasim/src/service.c           | 7 +++++++
 psasim/test/client.c           | 7 +++++++
 psasim/test/server.c           | 7 +++++++
 psasim/tools/psa_autogen       | 4 ++++
 12 files changed, 80 insertions(+)

diff --git a/psasim/include/psa/client.h b/psasim/include/psa/client.h
index 1c2f2ddfd..1d635ba36 100644
--- a/psasim/include/psa/client.h
+++ b/psasim/include/psa/client.h
@@ -1,3 +1,10 @@
+/* PSA Firmware Framework client header for psasim. */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #ifndef __PSA_CLIENT_H__
 #define __PSA_CLIENT_H__
 
diff --git a/psasim/include/psa/error.h b/psasim/include/psa/error.h
index 62469bbe1..fed38a5a9 100644
--- a/psasim/include/psa/error.h
+++ b/psasim/include/psa/error.h
@@ -1,3 +1,10 @@
+/* PSA status codes used by psasim. */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #ifndef PSA_ERROR_H
 #define PSA_ERROR_H
 #include <stdint.h>
diff --git a/psasim/include/psa/lifecycle.h b/psasim/include/psa/lifecycle.h
index 6336a3988..1148397a8 100644
--- a/psasim/include/psa/lifecycle.h
+++ b/psasim/include/psa/lifecycle.h
@@ -1,3 +1,10 @@
+/* PSA lifecycle states used by psasim. */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #define PSA_LIFECYCLE_PSA_STATE_MASK (0xff00u)
 #define PSA_LIFECYCLE_IMP_STATE_MASK (0x00ffu)
 #define PSA_LIFECYCLE_UNKNOWN (0x0000u)
diff --git a/psasim/include/psa/service.h b/psasim/include/psa/service.h
index ed28f599f..9ae801d8f 100644
--- a/psasim/include/psa/service.h
+++ b/psasim/include/psa/service.h
@@ -1,3 +1,9 @@
+/* PSA Firmware Framework service header for psasim. */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
 
 #ifndef __PSA_SERVICE_H__
 #define __PSA_SERVICE_H__
diff --git a/psasim/include/psasim/init.h b/psasim/include/psasim/init.h
index 535804663..97567c270 100644
--- a/psasim/include/psasim/init.h
+++ b/psasim/include/psasim/init.h
@@ -1,3 +1,10 @@
+/* Declarations of internal functions. */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include <stdint.h>
 #include <psa/service.h>
 void raise_signal(psa_signal_t signal);
diff --git a/psasim/src/client.c b/psasim/src/client.c
index f8dea7965..f2721f405 100644
--- a/psasim/src/client.c
+++ b/psasim/src/client.c
@@ -1,3 +1,10 @@
+/* PSA firmware framework client API */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include <stdint.h>
 #include <stdlib.h>
 #include <stddef.h>
diff --git a/psasim/src/common.c b/psasim/src/common.c
index bc00a2705..bb3f3a91b 100644
--- a/psasim/src/common.c
+++ b/psasim/src/common.c
@@ -1,3 +1,10 @@
+/* Common code between clients and services */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include "common.h"
 int __psa_ff_client_security_state = NON_SECURE;
 
diff --git a/psasim/src/common.h b/psasim/src/common.h
index 94a5ecb49..d6c91fb97 100644
--- a/psasim/src/common.h
+++ b/psasim/src/common.h
@@ -1,3 +1,10 @@
+/* Common definitions used for clients and services */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include <psa/service.h>
 
 #ifdef DEBUG
diff --git a/psasim/src/service.c b/psasim/src/service.c
index 995088495..f6cac4dad 100644
--- a/psasim/src/service.c
+++ b/psasim/src/service.c
@@ -1,3 +1,10 @@
+/* PSA Firmware Framework service API */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include <psa/service.h>
 #include <sys/types.h>
 #include <sys/ipc.h>
diff --git a/psasim/test/client.c b/psasim/test/client.c
index 7c38df532..e14115584 100644
--- a/psasim/test/client.c
+++ b/psasim/test/client.c
@@ -1,3 +1,10 @@
+/* psasim test client */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include <psa/client.h>
 #include "psa_manifest/sid.h"
 #include <stdio.h>
diff --git a/psasim/test/server.c b/psasim/test/server.c
index e2d848f58..749423485 100644
--- a/psasim/test/server.c
+++ b/psasim/test/server.c
@@ -1,3 +1,10 @@
+/* psasim test server */
+
+/*
+ *  Copyright The Mbed TLS Contributors
+ *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+ */
+
 #include <psa/service.h>
 #include "psa_manifest/manifest.h"
 #include <unistd.h>
diff --git a/psasim/tools/psa_autogen b/psasim/tools/psa_autogen
index 51dd0a9b0..685320733 100755
--- a/psasim/tools/psa_autogen
+++ b/psasim/tools/psa_autogen
@@ -1,5 +1,9 @@
 #!/usr/bin/env python3
 """This hacky script generates a partition from a manifest file"""
+
+# Copyright The Mbed TLS Contributors
+# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
+
 import json
 import os
 import sys