timg236

linux

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/

firmware

This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

opengrok

OpenGrok is a fast and usable source code search and cross reference engine, written in Java

pico-sdk

userland

Source code for ARM side libraries for interfacing to Raspberry Pi GPU.

CherryUSB

CherryUSB is a tiny and portable USB Stack (device & host) for embedded system with USB IP

PicoDVI

Bitbanged DVI on the RP2040 Microcontroller

picoprobe

piserver

Raspberry Pi Server wizard to serve Raspbian to network booting Pis

tstools

Automatically exported from code.google.com/p/tstools

gcc4mbed

Project to allow GCC compilation of code using mbed SDK libraries.

linux

repo-plugin

A Jenkins pluging providing repo as an SCM

buildroot

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

bsticker

Shows how to use BrightSign's super-smooth Javascript ticker

Jenkins-repo-plugin

A Jenkins pluging providing repo as an SCM

userland

Source code for ARM side libraries for interfacing to Raspberry Pi GPU.