Rename to x86_64-unknown-none-hermitkernel#11
Rename to x86_64-unknown-none-hermitkernel#11mkroening wants to merge 1 commit intohermit-os:masterfrom mkroening:hermit-target
Conversation
|
@tlambertz, could you have a look at this? :) |
|
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?) |
|
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. |
|
Friendly ping. :) |
|
I've just tried updating rftrace to run with the newest version of rustyhermit, but it seems the Without this instrumentation, rftrace cannot log anything. As rusty-hermit currently uses |
|
Alright, I found a work-around. The |
This adapts the new RustyHermit kernel target. See hermit-os/hermit-rs@c990605 and rust-lang/rust#77916.