progscrape: kernel

A tale about fixing eBPF spinlock issues in the Linux kernel

4 months ago rovarma.com kernel linux

Understanding the Linux Kernel: The Scheduler

3 months ago internals-for-interns.com kernel linux

Anatomy of a high-performance EP kernel

4 months ago fergusfinn.com kernel

A visual introduction to kernel functions

4 months ago kelvinpaschal.com kernel

6 years and 360 patches to clean all instances of strnpy out of the Linux kernel

3 months ago smist08.wordpress.com kernel linux

maestro: Lightweight, Linux-compatible kernel, written in Rust

3 months ago github.com kernel osdev rust

Dependently typed Clojure DSL with a Lean4 compatible kernel

3 months ago github.com clojure kernel lisp

Ultra: A from-scratch kernel that aims for full ABI compatibility with the Linux userland

3 months ago github.com kernel linux osdev

F* file system – file search that reads SSD directly bypassing OS kernel

3 months ago github.com kernel ssd

What a from-scratch Rust kernel (CharlotteOS) made me rethink about async-first OS design

3 months ago reddit.com kernel rust