Aggiornato 2 ore fa

Bare-metal Rust on Zynq-7000

Aggiornato 10 ore fa

Bare-metal Rust on the Xilinx Zynq ZC706 devkit

Aggiornato 10 ore fa

Firmware for the Sinara 8451 Thermostat

Aggiornato 19 ore fa

Aggiornato 1 giorno fa

MQTT-controlled RF signal generator using Urukul, Humpback and STM32 NUCLEO

Aggiornato 1 giorno fa

Formally verified ARTIQ RTIO core in nMigen

Aggiornato 1 giorno fa

ARTIQ Zynq-based core device support

Aggiornato 1 giorno fa

Bare-metal Rust on Zynq-7000

Aggiornato 1 giorno fa

Aggiornato 1 giorno fa

Aggiornato 2 giorni fa

A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen

Aggiornato 5 giorni fa

Aggiornato 1 settimana fa

Aggiornato 1 settimana fa

ARTIQ Zynq-based core device support

Aggiornato 2 settimane fa

ARTIQ Zynq-based core device support

Aggiornato 2 settimane fa

Aggiornato 3 settimane fa

Aggiornato 3 settimane fa

Aggiornato 3 settimane fa

A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.

Aggiornato 1 mese fa