commit c0ae93671e547b6b42f8ac042f7789b29b67258f
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> Wed Aug 19 18:36:19 2020 +0000
committer GitHub <noreply@github.com> Wed Aug 19 18:36:19 2020 +0000
tree daf4e0593a59eb86c6fbd03ccfa772f5ca04f826
parent b13550bba6f0f0f38c5941090691eb1dbcbccbed
parent 1bb5e54ee0fa05b1fb8474a866bcde7b8475c7e9

Merge #232

232: update tock submodule to fix CI r=jrvanwhy a=hudson-ayers

This updates the Tock submodule to current master to bring in this fix: https://github.com/tock/tock/commit/b58812b63f1682d008ceab881121b27a301f3af8 which updated the OpenTitan boot ROM download location.

Co-authored-by: Hudson Ayers <hayers@stanford.edu>

tock

diff --git a/tock b/tock
index 6e38588..6260afa 160000
--- a/tock
+++ b/tock
@@ -1 +1 @@
-Subproject commit 6e38588c73dbd78d274c00ae7fb7789b78cf6856
+Subproject commit 6260afac204ae9f469abe9e2573cb51d3b124624