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

Add marchid for rrv32 #1270

Merged
merged 1 commit into from
Apr 29, 2024
Merged

Add marchid for rrv32 #1270

merged 1 commit into from
Apr 29, 2024

Conversation

SolraBizna
Copy link
Contributor

This PR assigns ID 45 to rrv32, because that is the next marchid in line. If permissible, I would prefer to use 1495879317 instead. This larger ID encodes a memorial to my father, who passed away 13 months ago. He set and guided me on the 25-year path that led to the creation of rrv32. That ID still has the high bit unset, which means it is technically within the open source marchid space. (However, I could easily see such a huge ID being inconvenient and annoying for those who want to make a simple lookup table for marchid values.)

@SolraBizna
Copy link
Contributor Author

SolraBizna commented Apr 27, 2024

Is there a procedure I have not followed, a requirement I have not met, or a problem I have created?

Edit: I've belatedly noticed that I didn't provide a link to rrv32's repository. I'm not sure why that slipped my mind.

Copy link
Member

@aswaterman aswaterman left a comment

Choose a reason for hiding this comment

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

@SolraBizna Sorry, these PRs fall through the cracks sometimes.

@aswaterman aswaterman merged commit 20cc27d into riscv:main Apr 29, 2024
1 check passed
ved-rivos pushed a commit to ved-rivos/riscv-isa-manual that referenced this pull request Jul 3, 2024
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.

2 participants