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.

Sign up for GitHub

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

Jump to bottom

Makefile: Update the OpenTitan ROM download location #2072

Merged
merged 1 commit into from Aug 13, 2020
Merged

Makefile: Update the OpenTitan ROM download location #2072

merged 1 commit into from Aug 13, 2020

Conversation

alistair23
Copy link
Contributor

Pull Request Overview

Testing Strategy

CI

TODO or Help Wanted

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@alistair23
Makefile: Update the OpenTitan ROM download location
b58812b 
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
hudson-ayers
hudson-ayers approved these changes Aug 13, 2020
View reviewed changes
Copy link
Contributor

@hudson-ayers hudson-ayers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

@bors
Copy link
Contributor

bors bot commented Aug 13, 2020

Build succeeded:

@bors bors bot merged commit e71e350 into tock:master Aug 13, 2020
@alistair23 alistair23 deleted the alistair/ot-rom-update branch August 13, 2020 21:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@brghena brghena brghena approved these changes

@bradjc bradjc bradjc approved these changes

@hudson-ayers hudson-ayers hudson-ayers approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@alistair23 @brghena @bradjc @hudson-ayers