Skip to content

Commit 3e0dd60

Browse files
Simulator fixes
1 parent d9311a9 commit 3e0dd60

3 files changed

Lines changed: 5 additions & 5 deletions

File tree

TactilityKernel/Include/Tactility/concurrent/Mutex.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22

33
#include <Tactility/FreeRTOS/semphr.h>
44
#include <assert.h>
5+
#include <stdbool.h>
56

67
#ifdef __cplusplus
78
extern "C" {

TactilityKernel/Include/Tactility/concurrent/RecursiveMutex.h

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
11
#pragma once
22

3-
#include "freertos/semphr.h"
4-
5-
3+
#include <stdbool.h>
64
#include <Tactility/FreeRTOS/semphr.h>
75

86
#ifdef __cplusplus
@@ -20,6 +18,7 @@ inline static void recursive_mutex_construct(struct RecursiveMutex* mutex) {
2018
inline static void recursive_mutex_destruct(struct RecursiveMutex* mutex) {
2119
assert(mutex != NULL);
2220
assert(mutex->handle != NULL);
21+
vPortAssertIfInISR();
2322
vSemaphoreDelete(mutex->handle);
2423
mutex->handle = NULL;
2524
}

TactilityKernel/Source/Driver.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
#include <sys/errno.h>
2-
#include <vector>
31
#include <cstring>
2+
#include <ranges>
3+
#include <vector>
44

55
#include <Tactility/concurrent/Mutex.h>
66
#include <Tactility/Device.h>

0 commit comments

Comments
 (0)