From c5143df212f321ddc9a8cdaf1ce8ef2b6a67cd1b Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Sun, 1 Sep 2024 18:30:16 +0200
Subject: [PATCH] Fix emulation with mutexes

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 pico-keys-sdk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pico-keys-sdk b/pico-keys-sdk
index f8c4106..3235cd8 160000
--- a/pico-keys-sdk
+++ b/pico-keys-sdk
@@ -1 +1 @@
-Subproject commit f8c4106367052c59717f6bac81b70e716a2ea25c
+Subproject commit 3235cd8595366881ad6c317a007b78a64c87c824