A Rust library implementing safe, lightweight context switches, without relying on kernel services
Updated
Hydra settings and non-flakes packaging code. See https://git.m-labs.hk/m-labs/artiq-extrapkg for new NDSPs and contrib libraries.
Updated
Firmware for Sinara Fast-Servo based on Not-OS and Linien
Updated
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated
Formally verified ARTIQ RTIO core in nMigen
Updated
Minimalist bare metal Rust firmware for Red Pitaya
Updated
Legacy JSON descriptions of Sinara systems with public Hydra builds. OBSOLETE. Newer systems use AFWS.
Updated
Library to read Tar archives (by GNU Tar) in `no_std` contexts with zero allocations. The crate is simple and only supports reading of "basic" archives, therefore no extensions, such as GNU Longname. The maximum supported file size is 100 characters including the NULL-byte. Forked from: https://github.com/phip1611/tar-no-std
Updated
Firmware for the Sinara 8451 Thermostat
Updated
M-Labs website (legacy) - see web2019 repository instead
Updated