7 Repositories
Rust bounded-registers Libraries
An asynchronous, multi-producer, single-consumer (MPSC) bounded channel that operates at tachyonic speeds
tachyonix An asynchronous, multi-producer, single-consumer (MPSC) bounded channel that operates at tachyonic speeds. This library is an offshoot of As
A high-performance SPSC bounded circular buffer of bytes
Cueue A high performance, single-producer, single-consumer, bounded circular buffer of contiguous elements, that supports lock-free atomic batch opera
Define safe interfaces to MMIO and CPU registers with ease
regi regi lets you define safe interfaces to MMIO and CPU registers with ease. License Licensed under either of Apache License, Version 2.0 or MIT lic
Low level access to ATmega32U4 registers in Rust
Deprecation Note: This crate will soon be deprecated in favor of avr-device. The approach of generating the svd from hand-written register definitions
Used to generate and compare bounded timestamps.
ClockBound Summary: ClockBound allows you to generate and compare bounded timestamps that include accumulated error as reported from the local chronyd
Rust seL4 toy system built on ferros for the imx6 sabrelite platform
Rust seL4 toy system built on ferros for the imx6 sabrelite platform ferros: A Rust-based userland which also adds compile-time assurances to seL4 dev
memory-mapped registers for x86_64 systems
regmap some well-known and known-to-be-good computer architectures, such as the Microchip PIC product line, or many of the AVR processor family, were