kernel
Repositories (1593)
A database of configs for building the https://kernel.org
Learning repo for Linux Kernel stuff
Application of PCA and KPCA algorithms to perform dimensionality reduction on the set of parameters in LPV models
Volatility plugin to retrieve namespaces and relative processes from a memory dump.
Cardinal; - An extremely modular, security oriented microkernel operating system.
Larry's Software Distribution, free.
Procmonel is Procmon like monitoring system implemented using Microsoft WDK
Dynamic Build Wrapper for Android-compatible kernel source
A Battery Friendly Performance Kernel With Psycho Features for Le 1s ! ;)
IPset audit is capable of logging IPset creation, deletion and modification to syslog. It uses eBPF to get information from IPset kernel handlers and...
Collection of Scripts For Android.
A Summary of kernel fuzzing project
The kernel files for a CLI project.
The core foundation of Rinvex Cortex modular application architecture.
Fork of https://sourceforge.net/projects/tceetree/
Safe portable simple microkernel written purely in Rust
Patches for GNU/Linux
A simple OS in C
*nix based operating system (& bootloader)
Easy-to-use Bash script to build/install Linux kernel on Gentoo-based systems
The Tango RFC project aims at define the Tango Controls kernel specification.
Bare bone kernel from tutorial http://wiki.osdev.org/
Motorola Moto E4 (Woods) MhDzMR-Kernel
On hold until further notice. Uses HertzScript coroutines to implement preemptively multitasked JavaScript Green threads.
A collection of notes on Linux programming
Real time OS Xperiment
This is the R code for several common non-parametric methods (kernel est., mean regression, quantile regression, boostraps) with both practical applic...
Game Engine stuff sits on top of SnowOwl:. Will change contents of this repo soon
Custom kernel for Redmi 4 (santoni). Stable , and ready to build. Treble and non-treble. We Support Oreo(Treble & Non-Treble), Pie(Treble). Aiming to...
[ALPHA] OSSWSL based WSL2 distribution. Added systemd support hacks.
data structure to store data, rapidly, memory-efficiently and with less collision
The installation ISO of Raven-OS
Operating Systems
Arthur's Not Named Operating System, an OS with a C++ kernel.
Motorola Moto E4 Plus (Nicklaus) MhDzMR-Kernel
Ubuntu Core: Minimal kernel for the Orange Pi Zero
Samsung Galaxy J7 Perx / SM-J727P Qualcomm MSM8953 kernel
A minimal implementation of an Operating System implemented in (mostly) C and (sparse) Assembly
Bootable kernel in real-mode
Operating System from scratch.
x86 Kernel From Scratch: From basic bootable kernel, GDT & IDT implementation to advanced ELF memory parser & complete kernel/userspace syscall mechan...