Explore projects
-
DKMS source for the Realtek 8821C PCIe WiFi driver
Updated -
-
-
paMOD-quartz / products / Android Kernel Xiaomi Msm8937
GNU General Public License v2.0 or laterUpdated -
cip-project / cip-testing / cip-kernel-tests
Apache License 2.0Tests developed by CIP Members and contributors
Updated -
Driver for Intel RealSense cameras in DKMS format
Updated -
-
Miouyouyou / RockMyy
MIT LicenseBuild scripts and patches used to cross-compile 5.1-rcX kernels for RK3288 boards, while including the Mali r19p0 drivers.
Updated -
Repository for my kernel packages, containing ck-patched versions of gentoo-sources with/without UKSM (aka ck-sources and mje-sources). The latter is loosely based on mc-sources as found at http://oddball.tech/code/kernel-mc .
Updated -
MediaWiki Marketplace / mediawiki-ext-kernel
GNU General Public License v3.0 or laterMediaWiki Marketplace Kernel extension.
Updated -
vicamo / igb-dkms
GNU General Public License v2.0 or laterIntel igb ethernet driver in DKMS format
Updated -
baum operating system - OpenComputers OS focused on security
Updated -
minimal kernel implementation for academic project.
Updated -
underdisk / slime-kernel
Mozilla Public License 2.0My first approach to osdev Thanks to : https://www.youtube.com/watch?v=1rnA6wpF0o4&list=PLHh55M_Kq4OApWScZyPl5HhgsTJS9MZ6M
Updated -
-
Tests developed by CIP for the CIP kernels.
Updated -
Kesse Jones / Micro Kernel
GNU General Public License v3.0 onlyA micro-kernel-based operating system for the x86 architecture.
Updated -
-
Alfonso Siciliano / kernel-sysctlmibinfo
BSD 2-Clause "Simplified" LicenseFreeBSD sysctl MIB kernel interface
Updated -