Explore projects
-
-
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 -
bzt / osz
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalOS/Z - a hobby operating system
Updated -
cip-project / cip-kernel / linux-cip
GNU General Public License v2.0 or laterCIP kernel mirror
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 / cip-kernel-config
GNU General Public License v2.0 or laterKernel configurations provided by CIP Members
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 -
Richard Anyalai / KatyPerryOS
GNU General Public License v3.0 or laterA modern minimalistic 64-bit OS written in Rust.
Updated -
iwlwifi driver backport in DKMS format
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 -
Linux mainline fork with MT6763 patches, currently supported devices:
Volla Phone (2020)
Updated -
Denis Bodor / confkerndev
BSD 2-Clause "Simplified" LicenseTool for disabling drivers in a binary NetBSD kernel
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 -
Alfonso Siciliano / sysctlbyname improved
BSD 2-Clause "Simplified" LicenseFreeBSD sysctl internal node to implement an improved sysctlbyname() clone
Updated