Binary analysis in HOL

high performance AES implementations optimized for cortex-m microcontrollers

🎵 🎹 Firmware boilerplate for the RP2040 powered PicoADK Audio Development Board. Build your own stand alone synthesizers! Includes all nuts and bolts (FreeRTOS, USB MIDI, Vult DSP, Hardware Plumbing, DMA, ..). https://github.com/DatanoiseTV/PicoADK-Hardware

The IoT EcoBoard v3 is microcontroler based on the processor ATSAMD21G18 ARM Cortex M0 at 48Mhz with 3V3 logic, as the Arduino Zero. The chip has 256K of FLASH and 32K of RAM. It's fully compatible with Arduino and Adafruit libraries.

My MicroPython projects with ATSAMD21G18A

simple optimized startup code

Embedded Rust based on embassy-rs crate

Standard peripherals library for the W7500x

This is a replica made in Verilog language data flow of the ARM processor Cortex M0 with Instruction Set Architecture based in ARMv6. Although this is far from being the same, specially in the memory part, the functionality and usability its the most aproximate we could get in a Zybo Z7-10 in the small time space I had to do this. (UNFINISHED)

L1 R1: xinlinggo 48MHz Cortex-M0 SoC (XL2409/XL2412)

Very small, lightning fast, yet portable RTOS with SMP suppport

DA14585 Voice RCU code adapted to run on ProDK Motherboard (DA14585-00ATDEVKT-P).

Simple project to play with rust on Cortex-M0 (nucleo-091rc).

Sercom SPI library for ATSAMD21 boards such as Arduino Zero and Adafruit Feather M0

Materials for the course "Embedded programming on STM32"

Firmware for the Cambridge Physical Computation Laboratory's Warp Embedded Multi-Sensor Platform.