Skip to content

Pinned Loading

  1. linux linux Public

    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/

    C 11.2k 5k

  2. firmware firmware Public

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

    5.2k 1.7k

  3. rpi-imager rpi-imager Public

    The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.

    C 1.7k 264

  4. usbboot usbboot Public

    Raspberry Pi USB booting code, moved from tools repository

    C 943 241

  5. pico-sdk pico-sdk Public

    C 3.8k 956

  6. pico-examples pico-examples Public

    C 3k 845

Repositories

Showing 10 of 75 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…