A code-searching tool similar to ack, but faster.

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

Espressif IoT Development Framework. Official development framework for Espressif SoCs.

The systemd System and Service Manager

Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

Open Source Flight Controller Firmware

This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.

low cost software radio platform

A maintained ctags implementation

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

SSHFS For Windows

An open source cross-platform USB stack for embedded system

Arm Mbed OS is a platform operating system designed for the internet of things

"Das U-Boot" Source Tree

CircuitPython - a Python implementation for teaching coding with microcontrollers

Adding support for the Rust language to the Linux kernel.

The Fast Lexical Analyzer - scanner generator for lexing in C and C++

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

In application debugger for ARM Cortex microcontrollers.

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

Bare metal Raspberry Pi 3 tutorials

The granddaddy of HTML tools, with support for modern standards

toybox

Adafruit GFX graphics core Arduino library, this is the 'core' class that all our other graphics libraries derive from

Windows Internals Book 7th edition Tools

Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards

A serial device I/O tool

Software, firmware, and hardware designs for Ubertooth