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

[DNM, WIP] 2024/01 catch up with dependencies #25

Closed
wants to merge 9 commits into from
Closed

[DNM, WIP] 2024/01 catch up with dependencies #25

wants to merge 9 commits into from

Commits on Jan 22, 2024

  1. Update sail-cheri-mcu build to Ubuntu 22.04

    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    04b917a View commit details
    Browse the repository at this point in the history

  2. Update sail-riscv submodule

    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8efbb26 View commit details
    Browse the repository at this point in the history

  3. Catch up to upstream EXTZ/EXTS chages 

    Adapt Alex's 182dc52ef468884f31c0e002118a8c75df0a69fb
    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1d5fc5a View commit details
    Browse the repository at this point in the history

  4. Catch up to internal_error() changes 

    Adapts Alex's 3e6a55f69ee74ba5dcbd63506f992151870c24a6
    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1e1e695 View commit details
    Browse the repository at this point in the history

  5. Include minimal V ext files from base model

    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d7d372b View commit details
    Browse the repository at this point in the history

  6. Catch up with sail-riscv

    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6accac1 View commit details
    Browse the repository at this point in the history

  7. Update patches to upsteram sail-riscv

    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    124bdaa View commit details
    Browse the repository at this point in the history

  8. Add cheri_step_rvfi.sail 

    This is a strict subset of the sail-riscv model's riscv_step_rvfi.sail to omit
fregs absent in CHERIoT.
    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a79815b View commit details
    Browse the repository at this point in the history

  9. Make accessing !RV32E registers trap, not crash

    @nwf-msr
    nwf-msr committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    0c38f6b View commit details
    Browse the repository at this point in the history