diff --git a/third_party/tock b/third_party/tock
index f1f9d71..c5b7a4f 160000
--- a/third_party/tock
+++ b/third_party/tock
@@ -1 +1 @@
-Subproject commit f1f9d717a4d9b5ae934a3b50ce6a18e6dff3e7c7
+Subproject commit c5b7a4f2c89a8c067f0f5786788f4037b32329fd