len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2026-10-10 08:02:57 -04:00
Code Issues Projects Releases Packages Wiki Activity

Merge 22ec5399ec into 8be86d4a24

Browse source
This commit is contained in:
Wilfried Chauveau 2026-10-09 15:44:28 +00:00 • committed by GitHub
commit 0f56f9cd5b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 11 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
portable/ThirdParty/GCC/ARM_TFM/os_wrapper_freertos.c vendored
View file

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 2019-2024, Arm Limited. All rights reserved. * Copyright 2019-2024,2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
* *
* SPDX-License-Identifier: MIT * SPDX-License-Identifier: MIT
* *
@ -28,9 +28,12 @@
* The implementation is based on FreeRTOS mutex type semaphore. * The implementation is based on FreeRTOS mutex type semaphore.
*/ */
#include <stdbool.h>
#include "os_wrapper/mutex.h" #include "os_wrapper/mutex.h"
#include "FreeRTOS.h" #include "FreeRTOS.h"
#include "task.h"
#include "semphr.h" #include "semphr.h"
#include "mpu_wrappers.h" #include "mpu_wrappers.h"
@ -43,6 +46,13 @@
StaticSemaphore_t xSecureMutexBuffer; StaticSemaphore_t xSecureMutexBuffer;
#endif #endif
#if ( ( INCLUDE_xTaskGetSchedulerState == 1 ) || ( configUSE_TIMERS == 1 ) )
bool os_wrapper_is_kernel_started( void )
{
return xTaskGetSchedulerState() != taskSCHEDULER_NOT_STARTED;
}
#endif
void * os_wrapper_mutex_create( void ) void * os_wrapper_mutex_create( void )
{ {
SemaphoreHandle_t xMutexHandle = NULL; SemaphoreHandle_t xMutexHandle = NULL;