Files

.cargo
.github
.reuse
LICENSES
crates
- drivers
- examples
- private
- sel4-abstract-rc
- sel4-async
- sel4-atomic-ptr
- sel4-backtrace
- sel4-bounce-buffer-allocator
- sel4-capdl-initializer
- sel4-dlmalloc
- sel4-driver-interfaces
- sel4-elf-header
- sel4-externally-shared
- sel4-generate-target-specs
- sel4-immediate-sync-once-cell
- sel4-immutable-cell
- sel4-initialize-tls
- sel4-kernel-loader
- sel4-logging
- sel4-microkit
- sel4-mod-in-out-dir
- sel4-newlib
- sel4-one-ref-cell
- sel4-panicking
- sel4-platform-info
- sel4-reset
- sel4-root-task
- sel4-runtime-common
- sel4-rustfmt-helper
- sel4-shared-ring-buffer
- sel4-stack
- sel4-sync
- sel4-synthetic-elf
- sel4-test-harness
- sel4
  - bitfield-ops
  - bitfield-parser
  - build-env
  - config
  - src
  - sys
    - build
    - src
    - Cargo.nix
    - Cargo.toml
  - Cargo.nix
  - Cargo.toml
hacking
support
.gitignore
Cargo.lock
Cargo.nix
Cargo.toml
Makefile
README.md
VERSION
default.nix
rust-toolchain.toml
rustfmt.toml

sys

crates/sel4: Remove unecessary object API XML env vars

Jul 1, 2024

42d2d8b · Jul 1, 2024

This branch is 285 commits behind seL4/rust-sel4:main.

Name		Name	Last commit message	Last commit date
parent directory ..
build		build
src		src
Cargo.nix		Cargo.nix
Cargo.toml		Cargo.toml