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