Explore projects
-
cki-project / kernel-ark
OtherThe source tree for the Fedora and Always Ready kernels. This repository contains the configurations, build scripts, and downstream patches for both the Fedora kernel and the Always Ready Kernel (ARK).
Updated -
-
Gwen Weinholt / Loko Scheme
European Union Public License 1.2Optimizing Scheme compiler for Linux, NetBSD and bare hardware. https://scheme.fail/
Updated -
Linux mainline fork with SDM845 patches, currently supported devices:
OnePlus 6/6T, Xiaomi Pocophone F1
Updated -
ToaruOS / toaruos
OtherA completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
Updated -
-
linaro / tuxsuite
MIT LicenseCommand line interface for TuxSuite services TuxBuild and TuxTest. https://tuxsuite.com and https://docs.tuxsuite.com
Updated -
cip-project / cip-kernel / cip-kernel-sec
GNU General Public License v3.0 onlyLinux kernel CVE tracker
Updated -
bzt / osz
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalOS/Z - a hobby operating system
Updated -
TK Chia / muefircate
Mozilla Public License 2.0Running x86-16 or x86-32 code from x86-64 UEFI; very experimental • formerly biefircate • mirrored at https://codeberg.org/tkchia/muefircate • developer notes at https://gitlab.com/tkchia/muefircate/-/blob/main/doc/NOTES.asciidoc
Updated -
cip-project / cip-kernel / linux-cip
GNU General Public License v2.0 or laterCIP kernel mirror
Updated -
cip-project / cip-kernel / cip-kernel-config
GNU General Public License v2.0 or laterKernel configurations provided by CIP Members
Updated -
Richard Anyalai / KatyPerryOS
GNU General Public License v3.0 or laterA modern minimalistic 64-bit OS written in Rust.
Updated -
Emilio López / Linux kernel
GNU General Public License v2.0 or laterMy work on the Linux kernel; this tree contains patches under development and/or review, mainly sunxi-related
Updated -
rychly / rk3026-linux-sources
GNU General Public License v2.0 or laterLinux kernel for RK3026/E602, Boyue T62+ / Energy Sistem eReader Pro + (rk3026_t62d_defconfig; for GCC 4/5 in aosp, sourcery-codebench-lite-arm, linaro-arm/armv7, etc.).
Updated -
-
Thorsten Leemhuis / regzbot
GNU Affero General Public License v3.0A bot to help with Linux kernel regression tracking: https://linux-regtracking.leemhuis.info/about/
Updated -
iwlwifi driver backport in DKMS format
Updated -
A simple monolithic operating system created for educational purposes
Updated -
Giacomo Catenazzi / lkddb
GNU General Public License v3.0 onlyLKDDb (Linux Kernel Driver Database) is a comprehensive database of hardware and protocols known by Linux kernels, and the tools to automatically generate such database from Linux sources.
Updated