From cc495b8c85a51afaa67c55f85bd4ee096a98a475 Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Wed, 16 Sep 2020 10:37:18 +0200
Subject: [PATCH] Bump kernel version

---
 third_party/tock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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