kernel
Repositories (1595)
A list about Unikernels
Kernel exploits for the Oculus Quest
Academic project of Linux rootkit made for Bachelor Engineering Thesis.
macOS notes
An Ark tool project，run on Win7 x86/x64
YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-difference met...
Kernel anti-cheat for protecting software.
EOS is an educational operating system for x86 platform
General purpose operating system targeting standard desktops and laptops.
At-RTOS is an open and user-friendly real-time operating system (RTOS) for the embedded controller (EC).
OpenELA Linux kernel LTS stable branches
Kernel & Boot Loader Management
POK kernel. Safe and secure for safety-critical systems.
A command tree based on commands and extensions for Windows Kernel Debugging.
Pine64 Linux Kernel
SystemBoot is a LinuxBoot distribution that works as a system firmware + bootloader, based on u-root
A tool for managing your kernel configuration that guarantees semantic correctness
Jupyter Kernel for PowerShell
OPAL boot and runtime firmware for POWER
Linux 4.4内核实践分析
Run Linux kernel in your web browser directly
Tools to let a u-root instance boot signed live distro images over the web
A heavily commented linux kernel source code in Chinese.
Learn how to develop kernels
Snapdragon LLVM clang 18.0.0 ready hybrid kernel source for Miui/HyperOS/AOSP Android ready for whyred,tulip,wayne,jasmine,lavender,miatoll,haydn
64-bit UNIX hobby operating system with a UEFI bootloader and a Linux compatible syscall interface. Runs DOOM and X11.
Paging operating system for a custom computer architecture
[Deprecated] Symfony Async Kernel adpater
Task Type (TT) is an alternative CPU Scheduler for linux.
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
A 64bits operating system in c++
An operating system
My EAC & BE Rady CR3 Reading & Writing source that I use for my KM Drivers.
Linux hwmon driver for select Aquacomputer devices. Partly mainlined.
Ever wanted to execute PHP in your kernel driver? Look no further!
📲 Android Kernel Builder | On stand-by, also take look at https://github.com/cyberknight777/YAKB
A basic demonstration of directly overwriting paging structures for physical memory r/w and interprocess memory copy
WNF Utilities 4 Newbies (WNFUN)
A toy tool that leverages the super powers of XDP to bring in-kernel IP filtering
UEFI ELF Bootloader example
A balanced, optimized kernel for Samsung Galaxy devices on the Exynos 9610 platform.
🦀️ Operating System in 100% Pure Rust
Receipt parser server written in python.
Everything you need to build and run Linux and Android kernels for exploit development
compilable linux-0.01
Autonomous EDR for Linux. Install, forget, protected. Kernel-level eBPF detection, AI triage, autonomous response. Apache-2.0. The autonomous alternat...
ML4Chem: Machine Learning for Chemistry and Materials
Build the Linux Kernel and Modules on board the NVIDIA Jetson Nano Developer Kit
64 bit monolithic nt-style kernel
driver that communicates using a shared section