Code

Refactor sel4 crate#84

Code

Merged

nspin merged 52 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/refactor-sel4-cratenspin/rust-sel4:pr/refactor-sel4-crateCopy head branch name to clipboardFeb 12, 2024

+1,625-2,267

Commits

Commits on Feb 10, 2024

• ci: Improve style

  Show description for bd585df
  nspin

  committed
  bd585df

  Copy full SHA for bd585df

• Bump seL4

  Show description for 6b8274f
  nspin

  committed
  6b8274f

  Copy full SHA for 6b8274f

• crates/sel4/sys: Add note

  Show description for 762737f
  nspin

  committed
  762737f

  Copy full SHA for 762737f

• crates/sel4/sys: Remove dependency on regex crate

  Show description for 788ff7d
  nspin

  committed
  788ff7d

  Copy full SHA for 788ff7d

• crates/sel4/sys: Remove libclang hack

  Show description for d2a9dd3
  nspin

  committed
  d2a9dd3

  Copy full SHA for d2a9dd3

• crates/sel4/sys: Improve style throughout

  Show description for e76c428
  nspin

  committed
  e76c428

  Copy full SHA for e76c428

• crates/sel4/sys: Remove unnecessary use of unsafe

  Show description for 50792da
  nspin

  committed
  50792da

  Copy full SHA for 50792da

• crates/sel4/sys: Make assertion static

  Show description for c0f5f71
  nspin

  committed
  c0f5f71

  Copy full SHA for c0f5f71

• crates/sel4/sys: Remove unused test

  Show description for d76aa9a
  nspin

  committed
  d76aa9a

  Copy full SHA for d76aa9a

• Simplify printing macro implementations

  Show description for 6d116d2
  nspin

  committed
  6d116d2

  Copy full SHA for 6d116d2

• crates/sel4/sys: Simplify bindgen invocation

  Show description for a89f1d8
  nspin

  committed
  a89f1d8

  Copy full SHA for a89f1d8

• nix: Prepare to excise sel4test hack

  Show description for 252b7df
  nspin

  committed
  252b7df

  Copy full SHA for 252b7df

• nix: Don't use Rust in sel4test

  Show description for f8c177d
  nspin

  committed
  f8c177d

  Copy full SHA for f8c177d

• nix: Remove rust-sel4test branch

  Show description for e58d808
  nspin

  committed
  e58d808

  Copy full SHA for e58d808

• crates/sel4/sys: Remove wrappers for sel4test

  Show description for 21d264c
  nspin

  committed
  21d264c

  Copy full SHA for 21d264c

• ci: Remove sel4test

  Show description for 9e1b30c
  nspin

  committed
  9e1b30c

  Copy full SHA for 9e1b30c

• crates/sel4: Improve static assertion style

  Show description for 24165f4
  nspin

  committed
  24165f4

  Copy full SHA for 24165f4

• crates/sel4: Remove uncessary use of unsafe

  Show description for ea5a4fd
  nspin

  committed
  ea5a4fd

  Copy full SHA for ea5a4fd

• crates/sel4: Refactor bootinfo module

  Show description for 8941567
  nspin

  committed
  8941567

  Copy full SHA for 8941567

• crates/sel4: Simplify IPCBuffer type

  Show description for 4d21aaa
  nspin

  committed
  4d21aaa

  Copy full SHA for 4d21aaa

• crates/sel4: Rework InvocationContext trait

  Show description for 3ef08e3
  nspin

  committed
  3ef08e3

  Copy full SHA for 3ef08e3

• crates/sel4: Address warnings

  Show description for 3031ba2
  nspin

  committed
  3031ba2

  Copy full SHA for 3031ba2

• crates/sel4: Deduplicate helper macros

  Show description for d62dfda
  nspin

  committed
  d62dfda

  Copy full SHA for d62dfda

• crates/sel4: Tidy up cptr module

  Show description for 416be69
  nspin

  committed
  416be69

  Copy full SHA for 416be69

• crates/sel4: Hide internal macro helper

  Show description for d187c98
  nspin

  committed
  d187c98

  Copy full SHA for d187c98

• crates/sel4: Propagate changes to CapDL initializer

  Show description for 61e8bb0
  nspin

  committed
  61e8bb0

  Copy full SHA for 61e8bb0

• crates/sel4: Propagate changes to examples

  Show description for e8033c9
  nspin

  committed
  e8033c9

  Copy full SHA for e8033c9

• crates/sel4: Propagate changes throughout

  Show description for 91792c4
  nspin

  committed
  91792c4

  Copy full SHA for 91792c4

• crates/sel4: Derive more traits

  Show description for 316facc
  nspin

  committed
  316facc

  Copy full SHA for 316facc

• crates/sel4: Add note

  Show description for abd0496
  nspin

  committed
  abd0496

  Copy full SHA for abd0496

• crates/sel4: Implement C-compatible state

  Show description for 8b6f195
  nspin

  committed
  8b6f195

  Copy full SHA for 8b6f195

• crates/sel4: Rename init_thread::slots -> init_thread::slot

  Show description for 560b263
  nspin

  committed
  560b263

  Copy full SHA for 560b263

• crates/sel4: Rename InvocationContext::invoke

  Show description for f816079
  nspin

  committed
  f816079

  Copy full SHA for f816079

• Address clippy lints

  Show description for 0d53868
  nspin

  committed
  0d53868

  Copy full SHA for 0d53868

• Improve adherence to Rust variable naming conventions

  Show description for 860b701
  nspin

  committed
  860b701

  Copy full SHA for 860b701

• Re-order arch blocks

  Show description for 374a4fe
  nspin

  committed
  374a4fe

  Copy full SHA for 374a4fe

• crates/sel4: Clarify lack of support for ia32

  Show description for 06da6ea
  nspin

  committed
  06da6ea

  Copy full SHA for 06da6ea

• crates/sel4: Add visibility qualifier arg to newtype_methods! macro

  Show description for a26f274
  nspin

  committed
  a26f274

  Copy full SHA for a26f274

• crates/sel4: Add set_tls_base syscall

  Show description for fc109f4
  nspin

  committed
  fc109f4

  Copy full SHA for fc109f4

• nix: Update CapDL source

  Show description for 4f7ab86
  nspin

  committed
  4f7ab86

  Copy full SHA for 4f7ab86

• crates/sel4: Rename LocalCPtr -> Cap

  Show description for 2e96d2a
  nspin

  committed
  2e96d2a

  Copy full SHA for 2e96d2a

• Run rustfmt

  Show description for 5bcebfa
  nspin

  committed
  5bcebfa

  Copy full SHA for 5bcebfa

• crates/sel4/config: Add sel4_cfg_word

  Show description for 8a25c12
  nspin

  committed
  8a25c12

  Copy full SHA for 8a25c12

Commits on Feb 11, 2024

• crates/sel4: Add sel4_config::consts module

  Show description for a59a99a
  nspin

  committed
  a59a99a

  Copy full SHA for a59a99a

• Rename sel4-config-generic-macro-impls -> sel4-config-generic

  Show description for ae1caf2
  nspin

  committed
  ae1caf2

  Copy full SHA for ae1caf2

• crates/sel4/config/generic: Rename Impls -> ConfigurationOps

  Show description for ee19f3b
  nspin

  committed
  ee19f3b

  Copy full SHA for ee19f3b

• crates/sel4/config/consts: Fold into sel4-config itself

  Show description for dc5feee
  nspin

  committed
  dc5feee

  Copy full SHA for dc5feee

• crates/sel4/config/generic: Rename ConfigurationOps -> MacroImpls

  Show description for 6607503
  nspin

  committed
  6607503

  Copy full SHA for 6607503

• crates/sel4/config: Include consts source in rustdoc

  Show description for 14066ae
  nspin

  committed
  14066ae

  Copy full SHA for 14066ae

• crate/sel4: Update rustdoc

  Show description for da82143
  nspin

  committed
  da82143

  Copy full SHA for da82143

• crates/sel4/config: Add missing copyright headers

  Show description for 035c794
  nspin

  committed
  035c794

  Copy full SHA for 035c794

• Require sel4_cfg attr in sel4_cfg_if macro

  Show description for ee675b2
  nspin

  committed
  ee675b2

  Copy full SHA for ee675b2