raspberrypi / linuxLinks
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/
☆12,038Updated this week
Alternatives and similar repositories for linux
Users that are interested in linux are comparing it to the libraries listed below
Sorting:
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,378Updated last week
- The official documentation for Raspberry Pi computers and microcontrollers☆5,451Updated this week
- ☆1,898Updated 3 years ago
- "Das U-Boot" Source Tree☆4,654Updated this week
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,070Updated 8 months ago
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆3,131Updated this week
- The official Read Only BeagleBoard and BeagleBone kernel repository https://git.beagleboard.org/beagleboard/linux☆752Updated 2 weeks ago
- Raspberry Pi ARM based bare metal examples☆2,764Updated 2 years ago
- Linux kernel source tree☆201,832Updated this week
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,286Updated last year
- FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.☆3,478Updated last week
- LK embedded kernel☆3,419Updated last week
- 'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.☆6,408Updated 2 weeks ago
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,471Updated this week
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆11,956Updated this week
- Linux Device Drivers 3 examples updated to work in recent kernels☆2,503Updated 4 months ago
- Read-only mirror of Trusted Firmware-A☆2,099Updated this week
- The systemd System and Service Manager☆14,618Updated this week
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆2,043Updated this week
- upstream mirror☆4,734Updated this week
- BusyBox mirror☆1,893Updated 11 months ago
- A versatile (cross-)toolchain generator.☆2,351Updated last week
- Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.☆2,443Updated this week
- Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware archite…☆13,073Updated this week
- Arm Mbed OS is a platform operating system designed for the internet of things☆4,781Updated 11 months ago
- Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.☆3,530Updated this week
- Open source STM32 MCU programming toolset☆4,798Updated last month
- RT-Thread is an open source IoT Real-Time Operating System (RTOS). …☆11,408Updated this week
- Mirror of Apache HTTP Server. Issues: http://issues.apache.org☆3,764Updated last week
- Learning operating system development using Linux kernel and Raspberry Pi☆13,601Updated last year