Code

Improve API of sel4-externally-shared#34

Code

Merged

nspin merged 1 commit intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/externally-shared-improve-apinspin/rust-sel4:pr/externally-shared-improve-apiCopy head branch name to clipboardOct 20, 2023

+34-35

Commits

Commits on Oct 20, 2023

• crates/sel4-externally-shared: Improve API

  Show description for ec7317d
  nspin

  committed
  ec7317d