microsoft / microsoft/cheriot-safe

Building fails on Vivado 2025.1

Open
#33 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
SystemVerilog
Stars
21
Forks
16
PR merge metrics
No merged PRs in 30d

Description

Running build_arty_a7 seems to fail on recent Vivado tool suites (2025.1): the script stops early with Invalid parameter 'allowIndexedDefparam'. I do not know if this version is supposed to be supported or if I am doing something wrong.

Building works on 2024.1.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the build_arty_a7 script and reproduce the failure under Vivado 2025.1, then compare its behavior with Vivado 2024.1. Done means either the build works on 2025.1 or the repository clearly documents whether that version is unsupported and why the allowIndexedDefparam error occurs.

Written by the indexing model from the issue text.

Assessment

Domain
build-system, embedded-iot
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.