kernel
Repositories (1593)
Kernel Fuzzer for Apple's XNU, mainly meant for the iOS operating system
Complete single purpose linux system that just plays videos
MOE Operating Environment
Patches to enable 15KHz video output
Locally weighted regression solver for the GeoStats.jl framework
Dump Kext information from 32bit iOS kernel cache. Applicable to the kernel which dump from memory
A Linux kernel with Intel Galileo Gen2 patches and binary tools
My own little x86_64 kernel, write in ANSI C
A kernel with support to the RISCV architecture
passes kernel-commandline to the kernel if the UEFI does not support it
Linux kernel drivers module backport for RTS5129/RTS5139 USB MMC card reader
A lightweight kernel and operating system for Raspberry Pi
Spectre and Meltdown in a docker containerized test
Jonix is a hobby operating system developed from scratch in C++.
some notes on windows kernel
Ferramenta para criação de payload HID para android sem nethunter e sem rubber ducky
Velocity Kernel for the Samsung Galaxy S8/S8+ (dreamlte/dream2lte). (discontinued)
Naïve PCI Ethernet Network Driver for the Realtek 8139D on Linux
NullOS: i have ~~no~~ some idea what i'm doing
Nano OS - Open source preemptive real time multitasking scheduler targeting 8 to 32 bits microcontrollers
My homebrew unix like kernel
A modern Operating System without legacy code
My first attempt to develop an operating system with bootloader.
Simple Operating System with support for the full network stack, keyboard and mouse drivers and a terminal interface.
Kernels (v 5.x) and modules
Linux and Windows drivers for HiDes devices
a backup fork of SuperR's kitchen
Exploit for MS Http Protocol Stack RCE vulnerability (CVE-2021-31166)
A simple 64 bits operating system.
A simple kernel
🌋 Monolithic x86 kernel written in C and Assembly
From Dockerfiles straight to initramfs images within one minute with cross platform support (amd64 arm64 et al). Customize everything in kernel/user s...
Unified kernel source for Xiaomi SM6250 based devices
An optimized kernel based on the Debian Linux sources with graysky2's gcc optimization patch, Gabriel Krisman's fsync patch, and some Clear Linux patc...
Application of principal component analysis capturing non-linearity in the data using kernel approach
Heart of OpenMandriva Lx operating system
An OS Kernel.
Puppet module for managing GRUB2
Minimalistic LTP testrunner
Embedded Linux tools for i.MX platform
An Educational MACF / Root Kit Primer
Merges interesting concepts regarding Linux and Android kernel development: concurrency, CPU-interruptions, workqueues, special linked lists...
Kernel for NX512J
NOT BEING DEVELOPED ANYMORE, NOW COMMUNITY PLAYGROUND. GO TO https://github.com/Platypus-Tech/new-platypus-os-drafts/ FOR DEVELOPMENT.
AR_Beast Kernel Source for Yureka and YurekaPlus.
HyperPlus Kernel for P10 and P10 Plus
virtualkd-modified
Read only mirror of Ardix
A kernel, written in C. My second kernel, cause I wanted to start from a clean slate.
The Linux kernel tree with patches for the Pixel C