Skip to content


  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

    C 10.3k 4.7k

  2. firmware firmware Public

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

    C 4.9k 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.3k 206

  4. usbboot usbboot Public

    Raspberry Pi USB booting code, moved from tools repository

    Python 779 210

  5. pico-sdk pico-sdk Public

    C 2.8k 729

  6. pico-setup-windows pico-setup-windows Public

    PowerShell 162 20


Showing 10 of 58 repositories


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