kernel
Repositories (1649)
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a h...
Task Type (TT) is an alternative CPU Scheduler for linux.
A 64bits operating system in c++
compilable linux-0.01
[Deprecated] Symfony Async Kernel adpater
WNF Utilities 4 Newbies (WNFUN)
A basic demonstration of directly overwriting paging structures for physical memory r/w and interprocess memory copy
A balanced, optimized kernel for Samsung Galaxy devices on the Exynos 9610 platform.
Everything you need to build and run Linux and Android kernels for exploit development
A toy tool that leverages the super powers of XDP to bring in-kernel IP filtering
Stuxnet extracted binaries by reversing & Stuxnet Rootkit Analysis
UEFI ELF Bootloader example
📲 Android Kernel Builder | On stand-by, also take look at https://github.com/cyberknight777/YAKB
UNIX-like operating system written in C and C++
Ever wanted to execute PHP in your kernel driver? Look no further!
Monolithic kernel, drivers and support libraries for x86_64 and m68k.
Receipt parser server written in python.
Build the Linux Kernel and Modules on board the NVIDIA Jetson Nano Developer Kit
🦀️ Operating System in 100% Pure Rust
ML4Chem: Machine Learning for Chemistry and Materials
Autonomous EDR for Linux. Install, forget, protected. Kernel-level eBPF detection, AI triage, autonomous response. Apache-2.0. The autonomous alternat...
GDB plug-in that helps exploiting the Linux kernel's SLUB allocator
🔍 Code to read / write the Process Memory from the Kernel 🔧
A polyglot kernel for Jupyter notebooks based on GraalVM.
RISC-V kernel implemented with Rust
A PC desktop OS
64 bit monolithic nt-style kernel
Marvell (formally Aquantia) AQC multigigabit NIC linux driver (atlantic) - development preview
lytlnyblOS (little nibble OS) is a small, from scratch 32-bit operating system that comes with a complete guide book to teach beginners practically ab...
Dragonw1nd GKI kernels with Nethunter, KernelSU-Next and SuSFS ; One of the most advanced gkiv2 CI out there :)
Operating Systems & Cloud Native Theory, Workshops, Guides, Cool Cloud Native Projects and students contribution area
Kernel module to get/set (both) fan speed(s) on ASUS Zenbooks
Kernel for the Oro Operating System
Masl OS
Kernel Test Framework - a unit test framework for the Linux kernel
The windows kernel debugger consists of two parts, KMOD which is the kernel driver handling ring3 request and KCLI, the command line interface for the...
Resolve DOS MZ executable symbols at runtime
demos-os-linux is a project to demo and explore the Linux user space C/C++ API
Banana is an operating system (OS) for x86 and x86-64 computers. Comes with a GUI, including solitaire, minesweeper and a photo viewer!
Jupyter kernel for Coq
A next-generation high-performance operating system focused on enterprise-level resilience
Homebrew formulas for buildling a valid GCC toolchain for the i386-elf target.
GeoSn0w's majestic knowledge base for iOS 12 / iOS 13 Jailbreak Development.
The Official emexOS repository. discord server: https://discord.gg/Cbeg3gJzC7
Kernel-level audio tuning module for Qualcomm devices that enables existing WCD9xx codec performance modes via sysfs when supported. No DSP, EQ, or am...
An OS based on UEFI
A tool to help programmers debug and analyze Linux Kernel BPF verification failures.
Usermode NT Explorer - Query kernel addresses, translate virtual to physical addresses, inspect the PFN database, and more.
A small test app that tries to load a USBDriverKit system extension