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 -
-
cip-project / cip-kernel / cip-kernel-sec
GNU General Public License v3.0 onlyLinux kernel CVE tracker
Updated -
linaro / tuxsuite
MIT LicenseCommand line interface for TuxSuite services TuxBuild and TuxTest. https://tuxsuite.com and https://docs.tuxsuite.com
Updated -
bzt / osz
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalOS/Z - a hobby operating system
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 -
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 -
Bob Mottram / LKMPG
Open Software License 3.0The Linux Kernel Module Programmer's Guide: an updated version
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 -
Kesse Jones / Micro Kernel
GNU General Public License v3.0 onlyA micro-kernel-based operating system for the x86 architecture.
Updated -
Linux mainline fork with MT6763 patches, currently supported devices:
Volla Phone (2020)
Updated -
A simple monolithic operating system created for educational purposes
Updated -
Richard Anyalai / RexOS
GNU General Public License v3.0 onlyMy Operating System written in C/C++ & x86 Assembly
Updated -
V.OS / V.OS Kernel
OtherV.OS - A UNIX-like Multitasking, Multiuser Operating System for microcontrollers.
Updated -
Updated
-
Tripole Labs / bootdisk
GNU General Public License v3.0 or laterBootdisks and Linux images for TV boxes and SBCs.
Updated