diff --git a/include/ethosu_driver.h b/include/ethosu_driver.h
index 7d55500..e2d3f5b 100644
--- a/include/ethosu_driver.h
+++ b/include/ethosu_driver.h
@@ -1,6 +1,5 @@
 /*
- * SPDX-FileCopyrightText: Copyright 2019-2023 Arm Limited and/or its affiliates <open-source-office@arm.com>
- *
+ * SPDX-FileCopyrightText: Copyright 2019-2024 Arm Limited and/or its affiliates <open-source-office@arm.com>
  * SPDX-License-Identifier: Apache-2.0
  *
  * Licensed under the Apache License, Version 2.0 (the License); you may
@@ -147,6 +146,13 @@
 void *ethosu_mutex_create(void);
 
 /**
+ * Destroy mutex.
+ *
+ * @param mutex     Pointer to mutex handle
+ */
+void ethosu_mutex_destroy(void *mutex);
+
+/**
  * Minimal sempahore implementation for baremetal applications. See
  * ethosu_driver.c.
  *
@@ -155,6 +161,13 @@
 void *ethosu_semaphore_create(void);
 
 /**
+ * Destroy semaphore.
+ *
+ * @param sem       Pointer to semaphore handle
+ */
+void ethosu_semaphore_destroy(void *sem);
+
+/**
  * Lock mutex.
  *
  * @param mutex     Pointer to mutex handle