Conveners
LPC Refereed Track: Refereed Track
- Shuah Khan (The Linux Foundation)
- Kate Stewart (Linux Foundation)
LPC Refereed Track: Refereed Track
- Kate Stewart (Linux Foundation)
- Shuah Khan (The Linux Foundation)
LPC Refereed Track
- Shuah Khan (The Linux Foundation)
- Kate Stewart (Linux Foundation)
Rust for Linux is the project adding support for the Rust language to the Linux kernel. This talk will give a high-level overview of the status and the latest news around Rust in the kernel since LPC 2024.
This talk will discuss the new Rust driver for ARM Mali GPUs. We will start by introducing the Linux GPU stack and follow with a brief overview on how modern GPUs work. This will segue into a discussion about the current status of the Tyr driver and its surrounding infrastructure. We will conclude by discussing the future plans for the project and touch upon some of the issues that are still at large.
Runtime Verification (RV) was introduced in v6.0 of the Linux Kernel and
regained some traction recently with the integration upstream of the scheduler
and rtapp models.
RV was successfully employed to model and validate a subsystem like the
scheduler. With the ongoing work on timed automata, RV monitors get the ability
to verify timing requirements of a subsystem, let's use it to...
Over the past decade (or three) of container runtimes on Linux, the attacks against container runtimes with the most bang-for-your-buck have generally been filesystem related โ often in the form of a confused-deputy style attack. This is aided in part by the sheer number of juicy targets accessible through filesystem APIs such as /proc.
In particular, the past few years have seen quite a...
In the Linux kernel, design intent is an emergent property. There are a number of well understood reasons for this, most notably the evolving needs of user space and the distributed nature of its development. It is also reasonable to suggest that, although remarkably complex, kernel design intent can be framed in rather simple high level terms: to behave as an arbitration layer between...
ABSTRACT
The lack of standardized documentation for the Linux kernel poses a
barrier to its adoption in safety-critical industries such as aerospace,
where compliance with standards like DO-178C is required. We explored
the use of locally trained Large Language Models (LLMs) to automatically
generate compliant documentation for kernel modules and tools. As a case
study, we applied...
The Linux Foundation Technical Advisory Board (TAB) represents Linux Kernel project interests to the Linux Foundation. It also uses the pooled influence of its elected members to support the long term health of the project.
This open forum / panel discussion is an opportunity to learn about and discuss TAB initiatives and ongoing project needs.
Coming up with a complex architecture to enable the Linux kernel test/CI ecosystem is no easy task. Last year, KernelCI launched its new system. Now, one year later, we want to deliver a progress report tailored for the Linux Plumbers audience.
We want to share our progress in how we are delivering results and value to our users, and what is coming up next. There has been notable progress...
Lockdep is a tool in the Linux kernel designed to detect potential deadlocks by tracking the order in which locks are acquired. However, deadlocks can occur not only due to incorrect lock acquisition order, but also from waits that cannot be resolved. For more effective deadlock detection, it is crucial to track the waits and events themselves, rather than focusing on lock acquisition order....
Modern workloads and systems demand more of the scheduler. A server no longer
runs one type of workload, and general purpose interactive systems like Android
and Desktop are on the rise. The same workload runs on a large variety of hardware and architectures that have different capabilities in terms of
performance and power. And the end user for the same workload and hardware
might have...
The Livepatch consistency model [1] requires the kernel to provide reliable stacktrace in order to be fully supported. On x86, the ORC unwinder provides these reliable stacktraces. However, arm64 misses the required support from objtool: it cannot generate ORC unwind tables for arm64. Prior RFCs have proposed to add this support to objtool, but feedback from the upstream community has...
TPMs have been present in modern laptops and servers for some time now, but their adoption is quite low. While operating systems do provide some security features based on TPMs (think of BitLocker on Windows or dm-verity on Linux) third party applications or libraries usually do not have TPM integrations.
One of the main reasons of low TPM adoption is that interfacing with TPMs is quite...
In recent years, a common trend in the safety-critical industry has been
determining whether a general-purpose, open-source OS like Linux can be used in
safety-critical products and certified to standards like ISO 26262.
This talk presents a safety integrity qualification approach for
Linuxโcomprising the Linux kernel, user space libraries (e.g. libc), and
user-space components (e.g....
BSPs are the essential starting point for new silicon: they demonstrate that hardware works and provide enough software to get products moving.
But BSPs rarely evolve.
Once the kernel they are based on ages, their value declines rapidly unless their features are carried upstream.
The ultimate objective is to bring an entire BSP upstream: many BSPs contain IP blocks already...
The last several years have seen the creation or revival of many compact debuginfo formats. DWARF debuginfo is large and detailed, and it is usually stripped and shipped separately from the kernel and applications. This means that applications cannot expect their debuginfo to be present at runtime. Compact formats, on the other hand, tend to fit a narrow use-case. Their data are compact enough...
This talk will cover various new features and enhancements in the perf tools including:
- data type profiling
- latency profiling
- lock contention profiling
- perf trace enhancements
- python scripting support
- hardware supports and improvements
as well as on-going issues on each subject and more. Many topics for discussion to improve the profiling and analysis experience. ...
We would like to be able to select chunks of kernel memory for inspection or debug dumping, but only the essentials, such that we can create a core image, inspect the status of the kernel and vital information, without creating a full core dump, due to memory and time constrains.
Multiple patch series have been proposed, in which meminspect (or previously named kmemdump) API can be used to...
Ftrace - tracing in the linux kernel introduced useful features and improvements these days. These include a persistent ring buffer, function-graph tracer with arguments/return values, BTF integration, remote ring buffer, function/tracepoint probes, watch probes, and many performance enhancements on uprobes and fprobes. In this talk, we will explain these features and show how to use them in practice.
Following up on the initial hazard pointer demonstration [1], the
in-kernel hazard pointers have been significantly improved based on
extensive feedback and discussions. A status update is therefore
warranted.
Besides some improvement/fixes of the normal hazard pointers
implementation, we will demonstrate a variant of hazard pointers --
simple hazard pointers (or shazptr) -- that...
Neural Processing Units (NPUs) are becoming as common as GPUs in embedded SoCs, but Linux lacks a unified NPU subsystem. Current drivers are fragmented, vendor-specific, and often only tuned for vision inference (YOLO, ResNet). At the same time, newer workloads such as LLMs and multimodal models demand more flexible memory management, scheduling, and runtime integration.
This talk...
In Linux, testing the power management (PM) subsystem, particularly during suspend crashes, presents unique challenges. Logging mechanisms are often suspended during these events, making it difficult to capture critical information about system behavior. To address this gap, we developed a fuzzing system that combines LibAFL for fuzzing, S2E for external basic block coverage, and an input...