Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync upstream kernel to get more reproducible builds. #80

Merged
merged 4 commits into from
Mar 13, 2020

Conversation

gendx
Copy link
Collaborator

@gendx gendx commented Mar 12, 2020

To move towards reproducible builds (#70), this pull-request syncs the kernel with upstream now that tock/tock#1668 and tock/tock#1669 have been merged. The sha256sum tool is also used to compute the sum of the built binary on CI.

  • Tests pass
  • Appropriate changes to README are included in PR

@gendx gendx requested a review from jmichelp March 12, 2020 17:56
@gendx gendx requested review from jmichelp and ia0 March 13, 2020 10:28
@gendx gendx merged commit 8de99f7 into google:master Mar 13, 2020
@gendx gendx deleted the sync-patches branch March 13, 2020 12:33
@gendx gendx mentioned this pull request Mar 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants