Pinned Repositories
buddy-alloc
Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
cargo-project
Library to retrieve information about a Cargo project
libsss
Structured Secure Streams - a successor to SST
llvm-toolchain
Script to build freestanding LLVM toolchain
metta
Metta OS
metta.systems
Website.
register-rs
Unified interface for type-safe MMIO and CPU register access in Rust
tock
A secure embedded operating system for microcontrollers
tock-registers
Register interface from TockOS
vesper
Single-address-space capability-based nanokernel
Enabling the egocentric internets.'s Repositories
metta-systems/vesper
Single-address-space capability-based nanokernel
metta-systems/metta
Metta OS
metta-systems/libsss
Structured Secure Streams - a successor to SST
metta-systems/tock-registers
Register interface from TockOS
metta-systems/buddy-alloc
Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
metta-systems/llvm-toolchain
Script to build freestanding LLVM toolchain
metta-systems/metta.systems
Website.
metta-systems/aarch64-cpu
Low level access to processors using the AArch64 execution state.
metta-systems/aarch64-esr-decoder
A utility for decoding aarch64 ESR register values.
metta-systems/armv8a-semihosting
Rust no_std package for Semi Hosting on AArch64 bare metal targets
metta-systems/cargo-project
Library to retrieve information about a Cargo project
metta-systems/crev-proofs
Crev proof repository
metta-systems/dtb
Device tree blob support
metta-systems/ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
metta-systems/register-rs
Unified interface for type-safe MMIO and CPU register access in Rust
metta-systems/rust-osdev-homepage
metta-systems/tock
A secure embedded operating system for microcontrollers
metta-systems/binutils-gdb
Clone of sourceware.org/gdb with patches
metta-systems/cargo-binutils
Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
metta-systems/cargo-make
Rust task runner and build tool.
metta-systems/docker-cpp-ci
Dockerfiles for C++ CI testing images
metta-systems/hackpad
Hackpad is a web-based realtime wiki
metta-systems/homebrew-mettanode
OSX Homebrew recipes for MettaNode builds
metta-systems/libssu-qt4
Qt4 wrappers for libssu
metta-systems/mettasui
Metta Semantic User Interface - where everything has meaning down to the lowest level
metta-systems/scoop-for-ci
Scoop manifests for use in CI/CD
metta-systems/seL4
The seL4 microkernel
metta-systems/serialport-rs