google / tock-on-titan
Ports of Tock OS to Titan chips.
☆53Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for tock-on-titan
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆47Updated 3 years ago
- A Rust library for using Linux devicemapper☆71Updated last week
- Initialization code ("crt0") written in Rust☆69Updated 3 years ago
- Native Rust library for managing control groups under Linux☆76Updated 2 years ago
- Experimental Rust QUIC implementation - moved to https://github.com/djc/quinn☆67Updated 6 years ago
- Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.☆50Updated 3 years ago
- Tool to print stack usage information emitted by LLVM in human readable format☆53Updated 2 years ago
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆57Updated 3 years ago
- A simple, dumb executor for rust futures in constrained environments.☆18Updated 5 years ago
- Analyzing Travis and Azure Pipelines logs to find encountered errors☆40Updated 8 months ago
- Deducing Tock execution flows from Ibex Verilator traces☆68Updated 2 years ago
- A flexible, asynchronous library for using and serving CoAP resources in Rust.☆51Updated 2 years ago
- netlink library for rust☆42Updated 2 years ago
- Rust implementation `libsodium/utils`.☆48Updated 5 months ago
- ☆48Updated last month
- Ethox is a standalone network stack for user-space networking and unikernels☆34Updated 7 months ago
- Tool for programming Tock onto hardware boards.☆42Updated last month
- Migration tool for replacing await! macro with await syntax.☆41Updated 3 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 5 years ago
- Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization☆63Updated 4 years ago
- A Rust implementation of the Zopfli compression algorithm.☆77Updated 2 years ago
- [Experiment] Real Time for The Masses on Linux☆27Updated 5 years ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆27Updated 4 years ago
- An implementation of https://github.com/google/brotli in rust avoiding the stdlib☆53Updated 5 months ago
- Old home of some infra pieces☆74Updated 3 years ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 4 years ago
- Asynchronous TLS/SSL streams for Tokio using Rustls.☆142Updated 6 months ago
- Rust's std::net except without the std.☆47Updated last year
- 25519 for Cortex-M4 microcontrollers☆61Updated last year