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.

Sign up for GitHub

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

Jump to bottom

Experiment with libstd via musl #214

Merged
merged 18 commits into from
Oct 24, 2024
Merged

Experiment with libstd via musl #214

merged 18 commits into from
Oct 24, 2024

Conversation

nspin
Copy link
Member

@nspin nspin commented Oct 24, 2024

  • Introduces the sel4-linux-syscall-types crate for parsing Linux syscalls
  • Introduces the sel4-musl crate for interfacing with https://github.com/seL4/musllibc
  • Adds some *-musl.json rustc target specs
  • Adds crates/private/support/sel4-root-task-with-std runtime for testing
  • Adds crates/private/tests/root-task/musl test

nspin added 18 commits October 24, 2024 01:57
@nspin
crates/sel4-linux-syscall-types: Introduce
6eaaac6 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Add all syscall numbers
ecfb4c5 
And abstract arguments.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Improve style
a201474 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Capitalize syscall number names
d20e152 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Improve API language
ceb9134 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Add SyscallNumber type
797c2b8 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Add missing copyright headers
8f4c406 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Add missing copyright header
733f21e 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-musl: Introduce
cf5ab01 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-musl: Develop further
fa40bcb 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-musl: Add re-exports
793282c 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-linux-syscall-types: Use more descriptive types
bbcaa36 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Add musl targets
bd0d601 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Remove microkit musl target specs
a97393e 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nix: Add musl expressions
755c932 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nix: Add dummy libunwind expression
c398c89 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nix: Add std parameter to mkTask
ed81b99 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Add libstd/musl test
ec0befd 
Also add sel4-root-task-with-std crate.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin nspin force-pushed the pr/libstd-via-musl branch from dae1360 to ec0befd Compare October 24, 2024 09:02
@nspin nspin merged commit a048181 into seL4:main Oct 24, 2024
9 checks passed
@nspin nspin deleted the pr/libstd-via-musl branch October 24, 2024 09:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@nspin