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

Support for Cheshire on Digilent Genesys 2 #252

Merged
merged 1 commit into from
Feb 4, 2025

Conversation

omeh-a
Copy link
Contributor

@omeh-a omeh-a commented Dec 4, 2024

This PR adds support for the Cheshire SoC design implemented on the Digilent Genesys2 FPGA board.

Cheshire is an implementation of the CVA6 core, similarly to Ariane (#246).

This port depends upon seL4 support in this PR.

@omeh-a omeh-a force-pushed the cheshire branch 6 times, most recently from 5cb0ff1 to 03e36d1 Compare December 4, 2024 06:05
@omeh-a omeh-a force-pushed the cheshire branch 2 times, most recently from eea1cd3 to daacb4d Compare February 3, 2025 02:42
build_sdk.py Outdated Show resolved Hide resolved
docs/manual.md Outdated Show resolved Hide resolved
docs/manual.md Outdated Show resolved Hide resolved
docs/manual.md Outdated Show resolved Hide resolved
docs/manual.md Outdated Show resolved Hide resolved
docs/manual.md Outdated Show resolved Hide resolved
@Ivan-Velickovic
Copy link
Collaborator

Couple minor things to fix then should be good to merge.

Signed-off-by: Matt Rossouw <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
@Ivan-Velickovic Ivan-Velickovic merged commit cec9ed1 into seL4:main Feb 4, 2025
11 checks passed
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