Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

The Linux Kernel Looks to “Bite the Bullet” in Enabling Microsoft C Extensions

Dissecting the syscall Instruction: Kernel Entry and Exit Mechanisms.

The Life of a Packet in the Linux kernel

Ironclad – formally verified, real-time capable, Unix-like OS kernel

Ironclad OS project popping out Unix-like kernel using Ada

JupyterLite kernel for Haskell, powered by WebAssembly

Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel

How Should the Linux Kernel Handle AI-Generated Contributions?

There's No Rust on This Ironclad Kernel

Keynote: Rust in the Linux Kernel, Why? - Greg Kroah-Hartman

WebAssembly (WASM) arch support for the Linux kernel

Denial of Fuzzing: Rust in the Windows Kernel

The seven second kernel compile

Fp8 runs ~100 tflops faster when the kernel name has "cutlass" in it

The Linux Boot Process: From Power Button to Kernel

A kernel stack use-after-free: Exploiting Nvidia's GPU Linux drivers

Jacqueline – A minimal i386 kernel written in Pascal (2019)

AI bro introduces regressions in the LTS Linux kernel

Upcoming Rust language features for kernel development

I pushed Python to 20,000 requests sent/second. Here's the code and kernel tuning I used.

AI bro introduces regressions in the LTS Linux kernel

I pushed Python to 20,000 requests sent/second. Here's the code and kernel tuning I used.

Error compiling the kernel

Writing an operating system kernel from scratch

The future of 32-bit support in the kernel

Bcachefs removed from the mainline kernel

Kernel: Introduce Multikernel Architecture Support

WarpOS is a multitasking kernel for the PowerPC (PPC) architecture

Tracking trust with Rust in the kernel

NT OS Kernel Information Disclosure Vulnerability

More →