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

Refactor sel4 crate #84

Merged
merged 52 commits into from
Feb 12, 2024
Merged

Refactor sel4 crate #84

merged 52 commits into from
Feb 12, 2024

Conversation

nspin
Copy link
Member

@nspin nspin commented Feb 10, 2024 •
edited
Loading

  • Add support for sharing state with C
  • Resolve Relegate sel4-sys crate's sel4test hack to a branch #81
  • Rename LocalCPtr -> Cap
  • Add init_thread module
  • Add sel4_cfg_word! macro
  • Require sel4_cfg attribute with sel4_cfg_if! macro
  • Add sel4_config::consts module
  • Improve adherence to Rust variable naming conventions
  • Improve style and clarity throughout
  • Simplify throughout
  • Update rustdoc

nspin added 30 commits February 10, 2024 11:44
@nspin
ci: Improve style
bd585df 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Bump seL4
6b8274f 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Add note
762737f 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Remove dependency on regex crate
788ff7d 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Remove libclang hack
d2a9dd3 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Improve style throughout
e76c428 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Remove unnecessary use of unsafe
50792da 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Make assertion static
c0f5f71 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Remove unused test
d76aa9a 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Simplify printing macro implementations
6d116d2 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Simplify bindgen invocation
a89f1d8 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
nix: Prepare to excise sel4test hack
252b7df 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
nix: Don't use Rust in sel4test
f8c177d 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
nix: Remove rust-sel4test branch
e58d808 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/sys: Remove wrappers for sel4test
21d264c 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
ci: Remove sel4test
9e1b30c 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Improve static assertion style
24165f4 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Remove uncessary use of unsafe
ea5a4fd 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Refactor bootinfo module
8941567 
And introduce init_thread module

Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Simplify IPCBuffer type
4d21aaa 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Rework InvocationContext trait
3ef08e3 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Address warnings
3031ba2 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Deduplicate helper macros
d62dfda 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Tidy up cptr module
416be69 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Hide internal macro helper
d187c98 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Propagate changes to CapDL initializer
61e8bb0 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Propagate changes to examples
e8033c9 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Propagate changes throughout
91792c4 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Derive more traits
316facc 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Add note
abd0496 
Signed-off-by: Nick Spinale <[email protected]>
nspin added 22 commits February 10, 2024 11:44
@nspin
crates/sel4: Implement C-compatible state
8b6f195 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Rename init_thread::slots -> init_thread::slot
560b263 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Rename InvocationContext::invoke
f816079 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Address clippy lints
0d53868 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Improve adherence to Rust variable naming conventions
860b701 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Re-order arch blocks
374a4fe 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Clarify lack of support for ia32
06da6ea 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Add visibility qualifier arg to newtype_methods! macro
a26f274 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Add set_tls_base syscall
fc109f4 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
nix: Update CapDL source
4f7ab86 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Rename LocalCPtr -> Cap
2e96d2a 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Run rustfmt
5bcebfa 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/config: Add sel4_cfg_word
8a25c12 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4: Add sel4_config::consts module
a59a99a 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Rename sel4-config-generic-macro-impls -> sel4-config-generic
ae1caf2 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/config/generic: Rename Impls -> ConfigurationOps
ee19f3b 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/config/consts: Fold into sel4-config itself
dc5feee 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/config/generic: Rename ConfigurationOps -> MacroImpls
6607503 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/config: Include consts source in rustdoc
14066ae 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crate/sel4: Update rustdoc
da82143 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
crates/sel4/config: Add missing copyright headers
035c794 
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Require sel4_cfg attr in sel4_cfg_if macro
ee675b2 
Signed-off-by: Nick Spinale <[email protected]>
@nspin nspin merged commit 63ce236 into seL4:main Feb 12, 2024
9 checks passed
@nspin nspin deleted the pr/refactor-sel4-crate branch February 12, 2024 07:33
@nspin nspin mentioned this pull request Feb 18, 2024
Merged
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.

Relegate sel4-sys crate's sel4test hack to a branch
1 participant
@nspin