Explore projects
-
cip-project / cip-kernel / cip-kernel-sec
GNU General Public License v3.0 onlyLinux kernel CVE tracker
Updated -
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 -
Linux mainline fork with SDM845 patches, currently supported devices:
OnePlus 6/6T, Xiaomi Pocophone F1
Updated -
-
Tripole Labs / bootdisk
GNU General Public License v3.0 or laterBootdisks and Linux images for TV boxes and SBCs.
Updated -
Joseph P / zero_kernel
GNU General Public License v3.0 or laterAdvanced Android kernel builder with Kali NetHunter support.
Updated -
-
V.OS / V.OS Kernel
OtherV.OS - A UNIX-like Multitasking, Multiuser Operating System for microcontrollers.
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-config
GNU General Public License v2.0 or laterKernel configurations provided by CIP Members
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 -
Updated
-
ataractic / spy.ko
MIT LicenseA lightweight Linux kernel module that logs all input events from any input device.
Updated -
Gwen Weinholt / Loko Scheme
European Union Public License 1.2Optimizing Scheme compiler for Linux, NetBSD and bare hardware. https://scheme.fail/
Updated -
-
Richard Anyalai / RexOS
GNU General Public License v3.0 onlyMy Operating System written in C/C++ & x86 Assembly
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 -
Updated
-
Richard Anyalai / KatyPerryOS
GNU General Public License v3.0 or laterA modern minimalistic 64-bit OS written in Rust.
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