| commit | c0ae93671e547b6b42f8ac042f7789b29b67258f | [log] [tgz] |
|---|---|---|
| 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 [diff] | |
| parent | 1bb5e54ee0fa05b1fb8474a866bcde7b8475c7e9 [diff] |
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>