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

trivial: update deps, rust, lints #54

Merged
merged 2 commits into from
Nov 4, 2024
Merged

trivial: update deps, rust, lints #54

merged 2 commits into from
Nov 4, 2024

Conversation

dancrossnyc
Copy link
Collaborator

Update Rust, dependencies, and fix uncovered issues. Note that strict provenance is now stable!

@dancrossnyc dancrossnyc requested a review from citrus-it October 25, 2024 16:18
src/mmu.rs Outdated
AtomicPtr::new({
static mut BUMP_ALLOC: BumpAlloc<{ PAGE_ARENA_SIZE }> =
BumpAlloc::new([0; PAGE_ARENA_SIZE]);
&raw mut BUMP_ALLOC
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You love to see it!

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sadly, Miri was deeply unhappy with how I was doing things. Given that I was using SyncUnsafeCell elsewhere, I thought it made sense to use it here, as well, while fixing the Miri issue. PTAL.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FYI, tested on c71.

Update Rust, dependencies, and fix uncovered issues.  Note
that strict provenance is now stable!

Signed-off-by: Dan Cross <cross@oxidecomputer.com>
@dancrossnyc dancrossnyc force-pushed the update branch 2 times, most recently from 2658b45 to 4e273d0 Compare October 30, 2024 23:46
For some time I have wanted the ability to link phbl with lld,
but the text segment was always oddly sized.  I found that by
adding an empty section in a PT_NULL segment, I can work around
that bug and the program links correctly (and this is backwards
compatible with GNU ld).

Signed-off-by: Dan Cross <cross@oxidecomputer.com>
@dancrossnyc dancrossnyc merged commit b81e12a into main Nov 4, 2024
6 checks passed
@dancrossnyc dancrossnyc deleted the update branch November 4, 2024 16:24
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.

3 participants