Skip to content

Add the Svnapot extension. - #1596

Merged
Prashanth Mundkur (pmundkur) merged 1 commit into
riscv:masterfrom
pmundkur:svnapot
Mar 13, 2026
Merged

Add the Svnapot extension.#1596
Prashanth Mundkur (pmundkur) merged 1 commit into
riscv:masterfrom
pmundkur:svnapot

Conversation

@pmundkur

Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions

github-actions Bot commented Mar 6, 2026

Copy link
Copy Markdown

Test Results

2 314 tests  ±0   2 314 ✅ ±0   32m 2s ⏱️ +3s
    1 suites ±0       0 💤 ±0 
    1 files   ±0       0 ❌ ±0 

Results for commit 167522f. ± Comparison against base commit 9f29424.

♻️ This comment has been updated with latest results.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM, pretty straightforward.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

Comment thread model/postlude/validate_config.sail Outdated
@pmundkur Prashanth Mundkur (pmundkur) added will be merged Scheduled to be merged soon if nobody objects labels Mar 9, 2026

@Timmmm Tim Hutt (Timmmm) left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM, just some suggestions for slight simplification.

Comment thread model/sys/vmem_pte.sail Outdated
Comment thread model/sys/vmem.sail
Comment thread model/sys/vmem.sail Outdated

@Timmmm Tim Hutt (Timmmm) left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Thanks, LGTM.

@Timmmm Tim Hutt (Timmmm) added the will be merged Scheduled to be merged soon if nobody objects label Mar 12, 2026
Co-authored-by: Ved Shanbhogue <ved@rivosinc.com>
Co-authored-by: Tim Hutt <tdhutt@gmail.com>
@Timmmm
Tim Hutt (Timmmm) added this pull request to the merge queue Mar 13, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Mar 13, 2026
@pmundkur
Prashanth Mundkur (pmundkur) added this pull request to the merge queue Mar 13, 2026
Merged via the queue into riscv:master with commit 6cc81f2 Mar 13, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

extension Adds support for a RISC-V extension will be merged Scheduled to be merged soon if nobody objects

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants