Simple, Fast, Light weight
Combined kernel source code for the Samsung Galaxy G970F, G973F and G975F. Use in combination with Magisk and TWRP.
It consist of a basic hello world linux module
Force push all day everyday
A number of utilities for writing ACSL specifications for a Linux module.
Repository for Windows 10 x64 kernel research, exploitation learning, and reference/supplementary code.
Velocity Kernel for the Xiaomi Mi A1 (tissot). (discontinued)
64-bit Linux kernel 4.14.x for NanoPi M3
ROCm Command Line Profiler - Updated moved to https://github.com/GPUOpen-Tools/RCP
TCL Q39 Android Kernel,Kernel Can boot now
O Antartica OS é um Sistema Operacional (Hobby OS) Open Source
*OUTDATED* POC of kernel-mode CS:GO cheat
Installing archlinux on the asus e200ha and getting the hardware rocking
[PY]thon [R]ec[O]mmender [S]ystems library
Discovering Ultibo video series examples
Patch to run Libfranka in a Non-Real Time Kernel
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot.
A simple LKM kernel space rootkit for v5.x linux with multiple functions.
An operating system kernel written mostly in C for x86-64 CPUs, capable of booting on real hardware. Goal is to implement my own functional Unix-like...
A 64-bit operating system kernel for PCs
kernel build for pxe booting bare metal machines
A lightly modified kernel for the Nexus 6P. Based on stock Android msm sources and leanKernel
The Silcos kernel is a hybrid, robust and compact modular kernel which provides a platform to build the Silcos OS and SilkUI
Exploiting CVE-2014-3153, AKA Towelroot.
A compact Linux distribution based on Musl, BusyBox and LibreSSL. Has it's own build system, uses deb packages.
The binary classification problem focused on first IEEE Image forensics challenge-phase 1, to predict the given image is pristine or manipulated/edite...
A simple 32 bit OS with small Kernel coded from scratch in Assembler (NASM) and C.
Codes for my Operating Systems' Class
My Implementation of Machine Learning models
Kittykernel - Maow all your kernel needs
A curated list of awesome kernel resources.
This is storage space for between PCs for the Kernels I have built and use for my Lumia 950 XL.
Kernel for platform Sony Kitakami
Fusion, x86 Hobby & Unique /s operating system project.
CAF rebased kernel based on MiCode/Xiaomi Kernel OpenSouce
A little python framework to interact with Windows processes, their memory, their threads and much more!
:zap: Event-driven scheduler (Run :running: To Completion) OS :fire: for microcontrollers
⚙️ Bugen's toy OS kernel for x86 systems implemented in modern C++. [WIP]
Arch Linux kernel and modules.
Generic patches. Those that were revoked by the sages.
Build arm64 real-time kernel for low-latency audio playback on Raspberry Pi
A self learning exercise in low level system programming (OS and kernel programming) for the x86 architecture.
CHicago Operating System Kernel
A x86 based kernel written in C
S.A.R.A. development branch. Rebased often. Use at your own risk.
Kernel for archlinux the way it meant to be
a tiny operating system kernel (developing)
A simple kernel built from scratch
:balloon: My first attempt at writing a kernel