Pinned Loading
Repositories
- seL4-binary-verification Public
Sandbox repository for exploring and experimenting with seL4's binary verification
coliasgroup/seL4-binary-verification’s past year of commit activity - seL4-verification-reproducibility Public
Nix expressions towards improving reproducability for seL4's verification results
coliasgroup/seL4-verification-reproducibility’s past year of commit activity - seL4-summit-2024-rust-training Public
Materials for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.
coliasgroup/seL4-summit-2024-rust-training’s past year of commit activity - seL4-summit-2024-rust-training-code Public
Code for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.
coliasgroup/seL4-summit-2024-rust-training-code’s past year of commit activity - microkit_sdf_gen Public Forked from au-ts/microkit_sdf_gen
Experimenting with higher-level tooling for the seL4 Microkit
coliasgroup/microkit_sdf_gen’s past year of commit activity - microkit Public Forked from seL4/microkit
seL4 Core Platform - A simple operating system for the seL4 microkernel
coliasgroup/microkit’s past year of commit activity - offset-allocator Public Forked from pcwalton/offset-allocator
A port of Sebastian Aaltonen's `OffsetAllocator` to Rust
coliasgroup/offset-allocator’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…