issues
search
seL4
/
rust-sel4
Rust support for seL4 userspace
85
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
nix: Use Microkit 1.3.0
#161
nspin
closed
2 hours ago
0
docs: Update Foundation project commit hashes
#160
nspin
closed
3 hours ago
0
Update seL4, Microkit, and CapDL to their recently released versions
#159
nspin
closed
3 hours ago
0
Update dependencies
#158
nspin
closed
4 days ago
0
More Nix improvements
#157
nspin
closed
5 days ago
0
Update `ring` dependency
#156
nspin
closed
5 days ago
0
More Nix improvements
#155
nspin
closed
6 days ago
0
Microkit-releated improvements
#154
nspin
closed
1 week ago
0
Various Nix improvements
#153
nspin
closed
1 week ago
0
Introduce more driver abstractions
#152
nspin
closed
1 week ago
1
Work on incorporating more driver abstractions
#151
nspin
closed
1 week ago
2
Bump QEMU
#150
nspin
closed
2 weeks ago
0
nix: Add support for multiple Microkit configs
#149
nspin
closed
3 weeks ago
0
Improve seL4 crate
#148
nspin
closed
3 weeks ago
0
ci: Use Kani with Nix
#147
nspin
closed
3 weeks ago
0
nix: Bump Microkit dependency
#146
nspin
closed
1 month ago
0
Run some unit tests in CI
#145
nspin
closed
1 month ago
0
cmm: Never inline `package.metadata.*` tables
#144
nspin
closed
1 month ago
0
Introduce Verus
#143
nspin
closed
1 month ago
1
fix typo in set_recv_slot
#142
alwin-joshy
closed
1 month ago
1
Add Dafny test
#141
nspin
closed
1 month ago
0
docker: Improve Kani Docker setup
#140
nspin
closed
1 month ago
0
Add TCB_SetSpace invocation
#139
alwin-joshy
closed
1 month ago
1
Remove unecessary `#[feature(thread_local)]` from `sel4-sys`
#138
nspin
closed
1 month ago
0
Remove supplementary definitions of `__bswapsi2`
#137
nspin
closed
1 month ago
1
Add missing kernel config includes
#136
nspin
closed
1 month ago
0
Bump `lock_api` dependency
#135
nspin
closed
1 month ago
0
Tighten Dockerfile
#134
nspin
closed
2 months ago
0
Bump Rust toolchain
#133
nspin
closed
2 months ago
0
nix: Update dependencies
#132
nspin
closed
2 months ago
0
docs: Update dependency commit hashes in README.md
#131
nspin
closed
2 months ago
0
trivial: Improve style
#130
nspin
closed
2 months ago
0
nix: Allow for more precision in sysroot config
#129
nspin
closed
2 months ago
0
Crash when using RefCell with large array
#128
alwin-joshy
closed
2 months ago
4
nix: Bump dependencies
#127
nspin
closed
2 months ago
0
Cwh dev
#126
BIT-CWH
closed
2 months ago
0
nix: Add build test for CapDL initializer with MCS
#125
nspin
closed
2 months ago
0
Use upstream `rustls`
#124
nspin
closed
2 months ago
0
Support and test more configurations
#123
nspin
closed
2 months ago
0
Update `ring` dependency
#122
nspin
closed
2 months ago
0
Fix release mode warnings and compile errors
#121
Ivan-Velickovic
closed
2 months ago
3
Bump rustls and rebase ring
#120
nspin
closed
3 months ago
0
Add serial device example
#119
nspin
closed
3 months ago
0
Address clippy lints
#118
nspin
closed
3 months ago
0
Add tests for more CapDL initializer configurations
#117
nspin
closed
2 months ago
1
Add test for `sel4-hal-adapters`
#116
nspin
closed
1 week ago
1
Bump Rust toolchain
#115
nspin
closed
3 months ago
0
Remove unnecessary fences in CapDL initializer
#114
nspin
closed
3 months ago
0
ci: Bump action versions
#113
nspin
closed
3 months ago
0
Clean up `sel4` crate namespace
#112
nspin
closed
3 months ago
0
Next