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

Rename to x86_64-unknown-none-hermitkernel #11

Closed
wants to merge 1 commit into from
Closed

Rename to x86_64-unknown-none-hermitkernel #11

wants to merge 1 commit into from

Conversation

mkroening
Copy link
Member

This adapts the new RustyHermit kernel target. See hermit-os/hermit-rs@c990605 and rust-lang/rust#77916.

@mkroening
Copy link
Member Author

@tlambertz, could you have a look at this? :)

@tlambertz
Copy link
Collaborator

Dang its been this long already? :D sorry bout that.

Do you know the current state of rftrace together with rusty-hermit? (ie, does it work for you with the pull requests you proposed, or are these just a required first step?)

@mkroening
Copy link
Member Author

No worries ;)

My PRs overcome some first issues, but did not make it work yet, if I remember correctly. I'll have to revisit this on the weekend though. Except for #10 the PRs should be straight-forward, though.

@mkroening
Copy link
Member Author

Friendly ping. :)

@tlambertz
Copy link
Collaborator

I've just tried updating rftrace to run with the newest version of rustyhermit, but it seems the -Zinstrument-mcount option of the rust compiler is broken since nightly-2021-08-22. I've filed rust-lang/rust#92109.

Without this instrumentation, rftrace cannot log anything.

As rusty-hermit currently uses nightly-2021-12-04, upstream has to be fixed first. The last working version would be hermit-sys-0.1.23 from August.

@tlambertz
Copy link
Collaborator

Alright, I found a work-around.

The hermitrust example now uses upstream rusty-hermit with a minor patch. It should work for me out-of-the-box, provided you have virtiofsd, uftrace and change the path to the loader in the makefile.

@mkroening mkroening closed this Jul 13, 2022
@mkroening mkroening deleted the hermit-target branch December 4, 2023 13:49
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