From e6e04dd1738d57a5cce192450bc412afd4b234aa Mon Sep 17 00:00:00 2001
From: Guillaume Endignoux <guillaumee@google.com>
Date: Thu, 12 Mar 2020 18:35:08 +0100
Subject: [PATCH] Sync upstream kernel to get reproducible builds.

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

diff --git a/third_party/tock b/third_party/tock
index 7e47e6f..3139864 160000
--- a/third_party/tock
+++ b/third_party/tock
@@ -1 +1 @@
-Subproject commit 7e47e6f1a9b279b6458edeb0fa24af381f5a1572
+Subproject commit 3139864d391ab654bfb9c27ca8dcd3e4e9a2d58e
-- 
GitLab