Skip to content

Use C header generated by Sail #844

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

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Timmmm
Copy link
Collaborator

@Timmmm Timmmm commented Apr 8, 2025

This switches from manually copy & pasting model declarations to using Sail to generate the header.

Draft because it doesn't quite work yet due to rems-project/sail#1215

It will also generate warnings until the next Sail release due to rems-project/sail#1205

The horrible RISCV_MODEL_HEADER will hopefully go away when we have runtime-configurable xlen and flen (I'm working on this).

Also I think we may end up not using this if we do the C++ struct Model { #include "model.c" }; trick, but I figured we may as well use it in the mean time.

This switches from manually copy & pasting model declarations to using Sail to generate the header.
@jordancarlin
Copy link
Collaborator

I was looking at this while working on #494. This would be a great change. Once we get a number of bug fixes in, we might need a Sail 0.19.1 release for things like this.

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