Docker Kernel for Xiaomi Whyred.
Expanding Kernel Lazy Importer
Simple root privilege escalation detection using eBPF 🐝
Windows Kernel API wrapper with simplified functions and enterprise driver extensions.
An Operating System of the future
32 Bit Operation System
a modern operating system (just support x86_64,aarch64)
Educational Linux kernel rootkit PoC exploring DKOM, syscall hooking, stealth, observability and defensive detection
shitty operating system ...---...
My Material for the HITB presentation
Operating system in C written for fun and glory
GameServerKernel [LINUX ONLY]
EAS Mystic Kernel - Xiaomeme (MSM-4.4) # Jasmine, Lavender, Tulip, Wayne, Whyred #
Driver for XBox 360 "Big Button" controllers for Linux. Most of the code is written by James Mastros, I just did some bugfixes and made it a standalo...
You came here so you could have a base code to serve you as an example on how to develop a BPF application, compatible to BCC and/or LIBBPF, specially...
Main kernel tree
(Inactive, Was a 15 year old child's attempt at making an OS) This is a hobby OS made completely from scratch, We aim to make a complete OS for Learni...
Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.
Hisilicon Kernel v4.4.35 for SoC Hi3798Cv200 / Hi3798Mv200. (Check Wiki Page for More Info)
Gramado OS 64bit
This was the original start of havok.cc but this was the take off to havok rust cheat and this is the original source before anything was changed
Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images
Детальная схема Linux TCP: очереди (SYN, Accept, backlog), дропы, TcpExt-метрики, bottlenecks и точки тюнинга | Detailed Linux TCP diagram: queues, dr...
红魔手机 KernelSU 模块,一款专为红魔系列设备开发的优化模块,通过修改系统节点解除红魔对设备的隐藏限制,超10个优化项,简单安装与WebUI快速控制,带来绝佳...
SuperKernel for herolte and hero2lte
Experimental Stand-alone 32-bit Kernel with Bootloader written in AT&T Assembly and Freestanding C
Linux kernel 4.4 forked from Nvidia Linux4Tegra for TX1 and TX2. Supports L4T 28.1 and 28.2.1
Build scripts and patches used to cross-compile 5.6-rcX kernels for RK3288 boards
A 32bit multiboot OS kernel for IA32 (PC/AT) systems.
x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
Simple project to demonstrate the loading of eBPF programs via florianl/go-tc.
:trollface: Hobby x86 unix-like kernel. Curiously under development to answer "How to write an OS".
This is a java program that allows the user to simply install and use acpi_call kernel module via graphic Interface, and also provides an useful scrip...
meta-rockchip is an Yocto BSP layer for the Rockchip boards
Kexec Magisk Module
Various eBPF programs for tracing network connections
RocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it sti...
AtomX Kernel POCO X5 PRO 5G (redwood) kernel Sources
A kernel module for tracing signal
The kernel module management operator builds, signs and loads kernel modules on OpenShift.
oneplus 5/5T lineageOS dc kernel
ecmaOS: Micro-kernel and framework for web technologies
Linux on the PlayStation Vita
A 64-bit kernel for ARMv8-A CPU's.
Everything is focused on Unix systems. From C Language Programming to Unix Systems Programming and Kernel Hacking
Hybrid Interface Aware Fuzz for Android Kernel Drivers
Indirect threaded code version of CAMEL99 Forth for TI-99 computer
A basic file system in user space written in C using FUSE
Linux kernel modules written in Rust
mini x86 Operating System <= 256KB