|
|
Shell |
30 |
XNU kernel, Kernel Collection and CodeQL build scripts |
Apr 21, 2023 |
|
|
Makefile |
10 |
Scripts to build kernel for Ubiquity EdgeRouter Lite |
Apr 22, 2022 |
|
|
Shell |
15 |
Scripts for creating an universal build environment for Raspberry Pi. |
Jun 07, 2022 |
|
|
C |
5 |
Ultimaker linux kernel config files and build scripts |
Jan 25, 2022 |
|
|
C |
5 |
Kernel for Raspberry Pi (archived) |
Jan 28, 2023 |
|
|
Shell |
3 |
Argon One Service and Control Scripts for Raspberry Pi 3B/3B+ |
May 03, 2023 |
|
|
Shell |
8 |
Build arm64 real-time kernel for low-latency audio playback on Raspberry Pi |
Aug 09, 2021 |
|
|
Shell |
5 |
Scripts to build Raspberry Pi OS Virtual Appliance (OVA) |
Aug 04, 2021 |
|
|
None |
122 |
Contains uboot and kernel source code, there are two kernel versions, one is 3.4.113, the … |
Sep 12, 2022 |
|
|
C |
5 |
Android kernel for Raspberry Pi 4 |
May 09, 2022 |
|
|
Shell |
5 |
A set of scripts to do one-stroke virtual host setup with apache2 package in Debian/Ubuntu |
Dec 24, 2022 |
|
|
C |
2 |
thoravukk kernel for HTC One |
Sep 23, 2017 |
|
|
C |
5 |
Neon kernel for Oneplus One |
Jun 08, 2018 |
|
|
C |
3 |
Hobby OS kernel for the raspberry pi |
Jan 17, 2021 |
|
|
CMake |
6 |
Build scripts to build many bits of Vulkan together in one place. |
Mar 20, 2022 |
|
|
Python |
98 |
Raspberry Pi kernel source installer |
Apr 21, 2023 |
|
|
C |
3 |
Raspberry Pi kernel hacking experiments |
Dec 30, 2020 |
|
|
JavaScript |
6 |
A stroke drawing React component for zh-stroke-data. |
Feb 26, 2022 |
|
|
Jupyter Notebook |
2 |
Python scripts for Raspberry Pi |
Feb 07, 2023 |
|
|
Shell |
10 |
Build tools for Xperia kernel |
Aug 21, 2019 |
|
|
PowerShell |
2 |
Latest Kernel build for WSL |
Apr 05, 2023 |
|
|
Shell |
2 |
Automatic Kernel Build |
Jun 06, 2024 |
|
|
C |
77 |
GPL Kernel Source for OnePlus One |
Jul 16, 2022 |
|
|
C |
3 |
Sense kernel for HTC One V |
Mar 20, 2019 |
|
|
C |
2 |
HTC One (M8) kernel for Sense |
Oct 31, 2017 |
|
|
Shell |
35 |
ORx build for Raspberry Pi |
Jan 10, 2023 |
|
|
Shell |
4 |
Scripts to build the custom Linux kernel for Samsung Galaxy S II (GT-I9100) |
Nov 29, 2019 |
|
|
None |
9 |
User Mode Linux kernel, build scripts, and docs for usage with Netkit virtual machines |
Apr 16, 2023 |
|
|
Shell |
5 |
Scripts to help build the kernel and modules on the Jetson TK1 |
Jan 28, 2023 |
|
|
C |
6 |
Fork of Raspberry Pi kernel for running ev3dev |
Jul 27, 2021 |
|
|
C |
2 |
Raspberry Pi VocalFusion linux driver for kernel 5.10 |
Sep 06, 2021 |
|
|
C |
90 |
A simple Linux kernel for Raspberry Pi 3. |
Oct 04, 2022 |
|
|
C |
2 |
Linux kernel used for Chromium OS Raspberry Pi |
Dec 27, 2022 |
|
|
Shell |
4 |
scripts for build |
Jan 31, 2023 |
|
|
C |
2 |
Raspberry Pi kernel GPIO benchmarking test |
Feb 23, 2022 |
|
|
Jupyter Notebook |
2 |
Jupyter kernel for running Shoebot scripts |
Mar 08, 2021 |
|
|
Shell |
7 |
Scripts to produce nightly builds of raspberry pi foundation kernel/bootloader packages and raspbian images |
Dec 31, 2020 |
|
|
Shell |
36 |
Handy kernel development scripts. |
Dec 01, 2022 |
|
|
Shell |
20 |
FreeBSD kernel debugging scripts |
Mar 26, 2023 |
|
|
Shell |
2 |
shell scripts for the raspberry pi |
Feb 06, 2022 |
|
|
Shell |
3 |
Boot scripts for Raspberry Pi environments |
Nov 29, 2020 |
|
|
Shell |
9 |
Scripts for easy Raspberry Pi overclocking |
Jan 04, 2023 |
|
|
Shell |
4 |
Raspberry Pi scripts for various projects |
Apr 15, 2021 |
|
|
Python |
27 |
Schematics and build info for assembling a custom Raspberry Pi kernel with ST7735 TFT-LCD framebuffer … |
Aug 08, 2022 |
|
|
Shell |
2 |
Raspberry Pi configuration scripts |
Aug 02, 2022 |
|
|
Shell |
3 |
Raspberry pi scripts / code |
Mar 10, 2023 |
|
|
C |
13 |
kernel for upcoming LineageOS FP4 build |
Dec 02, 2022 |
|
|
Shell |
39 |
Scripts to build OctoPi, a Raspberry PI distro for controlling 3d printers over the web |
Apr 13, 2023 |
|
|
Shell |
49 |
Scripts to build OctoPi, a Raspberry PI distro for controlling 3D printers over the web |
Mar 22, 2022 |
|
|
Shell |
4 |
Scripts to build OctoPi, a Raspberry PI distro for controlling 3D printers over the web |
Apr 08, 2017 |