NT Synchronization Primitive Driver
(kernel.org)
This page documents the user-space API for the ntsync driver.
This page documents the user-space API for the ntsync driver.
Capability Analysis for the Kernel
(lwn.net)
One of the advantages of the Rust type system is its ability to encapsulate requirements about the state of the program in the type system; often, this state includes which locks must be held to be able to carry out specific operations.
One of the advantages of the Rust type system is its ability to encapsulate requirements about the state of the program in the type system; often, this state includes which locks must be held to be able to carry out specific operations.
Damon Self-Tuned Memory Tiering Shows Nice Improvement for Linux Servers
(phoronix.com)
Linux developer SeongJae Park has posted a set of patches for the Linux kernel's wonderful DAMON code to provide for self-tuned memory tiering that "just works" and is racking up some nice performance wins.
Linux developer SeongJae Park has posted a set of patches for the Linux kernel's wonderful DAMON code to provide for self-tuned memory tiering that "just works" and is racking up some nice performance wins.
When eBPF pt_regs reads return garbage on the latest Linux kernels, blame Fred
(tanelpoder.com)
TLDR; Starting from Linux kernel version 6.9 on x86_64, there’s a new config option CONFIG_X86_FRED enabled and it adds 16 bytes to the bottom of a task’s kernel stack area, so you’ll need to account for this extra padding in your “raw” kernel stack & pt_regs lookup code.
TLDR; Starting from Linux kernel version 6.9 on x86_64, there’s a new config option CONFIG_X86_FRED enabled and it adds 16 bytes to the bottom of a task’s kernel stack area, so you’ll need to account for this extra padding in your “raw” kernel stack & pt_regs lookup code.
Linux Introducing a Standardized Way of Informing User-Space over Hung GPUs
(phoronix.com)
The upcoming Linux 6.15 kernel is set to finally introduce a standardized way of informing user-space of GPUs becoming hung or otherwise unresponsive.
The upcoming Linux 6.15 kernel is set to finally introduce a standardized way of informing user-space of GPUs becoming hung or otherwise unresponsive.
Greg Kroah-Hartman Makes Compelling Case for Kernel Drivers Be Written in Rust
(phoronix.com)
Greg KH makes the case that the vast majority of the kernel bugs are due to "stupid little corner cases in C that are totally gone in Rust."
Greg KH makes the case that the vast majority of the kernel bugs are due to "stupid little corner cases in C that are totally gone in Rust."
Linux 6.15 to Bring More Improvements to DRM Panic "Screen of Death"
(phoronix.com)
Now that the Linux 6.14 merge window has passed, new feature material aiming for the Linux 6.15 kernel is beginning to get ready for staging in DRM-Next ahead of that next merge window opening up around the end of March.
Now that the Linux 6.14 merge window has passed, new feature material aiming for the Linux 6.15 kernel is beginning to get ready for staging in DRM-Next ahead of that next merge window opening up around the end of March.
Linux 6.14 with Rust: "We Are Almost at the 'Write a Real Driver in Rust Now"
(phoronix.com)
With the Linux 6.13 kernel, Greg Kroah-Hartman described the level of Rust support as a "tipping point" for Rust drivers with more of the Rust infrastructure having been merged. Now for the Linux 6.14 kernel, Greg describes the state of the Rust driver possibilities as "almost at the "write a real driver in rust" stage now, depending on what you want to do."
With the Linux 6.13 kernel, Greg Kroah-Hartman described the level of Rust support as a "tipping point" for Rust drivers with more of the Rust infrastructure having been merged. Now for the Linux 6.14 kernel, Greg describes the state of the Rust driver possibilities as "almost at the "write a real driver in rust" stage now, depending on what you want to do."
Running NetBSD 10.1 on a 1998 Toshiba laptop
(idatum.net)
Here are my notes on running NetBSD 10.1 on my first personal laptop that I still keep, a 1998 i586 Toshiba Satellite Pro with 81Mb of RAM and a 1Gb IBM 2.5" IDE HD. In summary, the latest NetBSD runs well on this old hardware using an IDE to CF adapter and several changes to the i386 GENERIC kernel.
Here are my notes on running NetBSD 10.1 on my first personal laptop that I still keep, a 1998 i586 Toshiba Satellite Pro with 81Mb of RAM and a 1Gb IBM 2.5" IDE HD. In summary, the latest NetBSD runs well on this old hardware using an IDE to CF adapter and several changes to the i386 GENERIC kernel.
Coccinelle
(kernel.org)
Coccinelle is a tool for pattern matching and text transformation that has many uses in kernel development, including the application of complex, tree-wide patches and detection of problematic programming patterns.
Coccinelle is a tool for pattern matching and text transformation that has many uses in kernel development, including the application of complex, tree-wide patches and detection of problematic programming patterns.
Linux 6.13 will report the number of hung tasks since boot
(phoronix.com)
Linux 6.13 Will Report The Number Of Hung Tasks Since Boot
Linux 6.13 Will Report The Number Of Hung Tasks Since Boot
The Case for a High-Level Kernel-Bypass I/O Abstraction (2019)
(irenezhang.net)
After chatting with people at HotOS, I was inspired to write this blog post summarizing my HotOS paper. At a high-level, the HotOS paper advocates for a new high-level I/O abstraction for kernel-bypass.
After chatting with people at HotOS, I was inspired to write this blog post summarizing my HotOS paper. At a high-level, the HotOS paper advocates for a new high-level I/O abstraction for kernel-bypass.
Bounded Flexible Arrays in C
(kernel.org)
Large projects written in C, especially those written close to the hardware layer like Linux, have long treated the language as a high-level assembler.
Large projects written in C, especially those written close to the hardware layer like Linux, have long treated the language as a high-level assembler.
Fitting a Forth in 512 bytes (2021)
(compilercrim.es)
Software is full of circular dependencies if you look deep enough. Compilers written in the language they compile are the most obvious example, but not the only one. To compile a kernel, you need a running kernel. Linkers, build systems, shells. Even text editors, if you want to write the code instead of just downloading it.
Software is full of circular dependencies if you look deep enough. Compilers written in the language they compile are the most obvious example, but not the only one. To compile a kernel, you need a running kernel. Linkers, build systems, shells. Even text editors, if you want to write the code instead of just downloading it.
Rust in enterprise kernels
(lwn.net)
At the recently concluded Maintainers Summit, it was generally agreed that the Rust experiment would continue, and that the path was clear for more Rust code to enter the kernel.
At the recently concluded Maintainers Summit, it was generally agreed that the Rust experiment would continue, and that the path was clear for more Rust code to enter the kernel.
FFI type mismatches in Rust for Linux
(lwn.net)
At Kangrejos, Gary Guo wanted to discuss three problems with the way Rust and C code in the kernel interact: mismatched types, too many type casts, and the overhead of helper functions.
At Kangrejos, Gary Guo wanted to discuss three problems with the way Rust and C code in the kernel interact: mismatched types, too many type casts, and the overhead of helper functions.
Linus Torvalds is fed up with bcachefs
(kernel.org)
Several more filesystems repaired, thank you to the users who have been providing testing. The snapshots + unlinked fixes on top of this are posted here:
Several more filesystems repaired, thank you to the users who have been providing testing. The snapshots + unlinked fixes on top of this are posted here:
What's new with io_uring in 6.11 and 6.12
(github.com/axboe)
What's new with io_uring in 6.11 and 6.12
What's new with io_uring in 6.11 and 6.12
Booting into Rust and deadlocking right away – a gnarly bug in my hobby kernel
(jannestimm.com)
After adding the few lines of code to parse the fdt and obtain amount of cores and memory, I reran the kernel and observed my kmain function getting stuck right at the point of locking the global KMEM (line 22), the physical page allocator (which needs to know the amount of memory to initialize the datastructure that records all the free pages).
After adding the few lines of code to parse the fdt and obtain amount of cores and memory, I reran the kernel and observed my kmain function getting stuck right at the point of locking the global KMEM (line 22), the physical page allocator (which needs to know the amount of memory to initialize the datastructure that records all the free pages).
Linux 6.12 Features Super Real-Time, Sched_ext, Intel Xe2 and Pi 5
(phoronix.com)
The Linux 6.12 merge window is wrapping up today with the release of Linux 6.12-rc1 in the coming hours. This is going to be a heck of an exciting kernel. There's real-time PREEMPT_RT finally in mainline, the much anticipated sched_ext code also was merged, QR codes for DRM panic messages, initial out-of-the-box support for Intel Xe2 graphics with Lunar Lake and Battlemage, initial Raspberry Pi 5 support, and a ton of other hardware support additions and new innovative kernel software features.
The Linux 6.12 merge window is wrapping up today with the release of Linux 6.12-rc1 in the coming hours. This is going to be a heck of an exciting kernel. There's real-time PREEMPT_RT finally in mainline, the much anticipated sched_ext code also was merged, QR codes for DRM panic messages, initial out-of-the-box support for Intel Xe2 graphics with Lunar Lake and Battlemage, initial Raspberry Pi 5 support, and a ton of other hardware support additions and new innovative kernel software features.
CrowdStrike's Blue Screen blunder: Could eBPF have saved the day?
(theregister.com)
"Interview The CrowdStrike chaos was caused by software running riot in the Windows kernel after an update tripped up the code. eBPF is a useful tool for kernel tracing and observability, but could it have mitigated the CrowdStrike incident?"
"Interview The CrowdStrike chaos was caused by software running riot in the Windows kernel after an update tripped up the code. eBPF is a useful tool for kernel tracing and observability, but could it have mitigated the CrowdStrike incident?"
Committing to Rust in the Kernel
(lwn.net)
The project to enable the writing of kernel code in Rust has been underway for several years, and each kernel release includes more Rust code.
The project to enable the writing of kernel code in Rust has been underway for several years, and each kernel release includes more Rust code.
Linux Close to Enabling Real-Time "Preempt_rt" Support
(phoronix.com)
We're very close to the finish line for the mainline Linux kernel being able to enable real-time "PREEMPT_RT" kernel support.
We're very close to the finish line for the mainline Linux kernel being able to enable real-time "PREEMPT_RT" kernel support.